Searching for "Maps II Chasing Diagrams in Categorical Proof Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Maps II: Chasing Diagrams in Categorical Proof Theory
by Dusko Pavlovic, Jim Lambek — 1996
…Maps II: Chasing Diagrams in Categorical Proof Theory DU SKO PAVLOVI ' C, Department of Computing…
Cited by 5 (2 self) – Add To MetaCart

Journal of the IGPL
by Volume Number March, Dov M. Gabbay, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
…, Number 2, March 1996 Contents 157 Editorial 159 Maps II: Chasing Diagrams in Categorical Proof Theory…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB