Michael Makkai

	2007
14		Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380(1-2): 143-163 (2007)
	2005
13		Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: An Accessible Approach to Behavioural Pseudometrics. ICALP 2005: 1018-1030
	1998
12		Claudio Hermida, Michael Makkai, John Power: Higher Dimensional Multigraphs. LICS 1998: 199-206
	1997
11		Michael Makkai, Giuseppe Rosolini: Studying repleteness in the category of cpos. Electr. Notes Theor. Comput. Sci. 6: 249-254 (1997)
	1995
10		Michael Makkai, Gonzalo E. Reyes: Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting. Ann. Pure Appl. Logic 72(1): 25-101 (1995)
9		Michael Makkai: On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 36(3): 364-381 (1995)
	1993
8		Michael Makkai: The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1. Notre Dame Journal of Formal Logic 34(3): 334-377 (1993)
7		Michael Makkai: The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2. Notre Dame Journal of Formal Logic 34(4): 471-498 (1993)
	1992
6		Victor Harnik, Michael Makkai: Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. J. Symb. Log. 57(1): 200-230 (1992)
	1990
5		Saharon Shelah, Michael Makkai: Categoricity of Theories in Lk omega, with k a Compact Ordinal. Ann. Pure Appl. Logic 47(1): 41-97 (1990)
4		Michael Makkai: A Theorem on Barr-Exact Categories, with an Infinitary Generalization. Ann. Pure Appl. Logic 47(3): 225-268 (1990)
	1981
3		Michael Makkai: An Example Concerning Scott Heights. J. Symb. Log. 46(2): 301-318 (1981)
	1976
2		Victor Harnik, Michael Makkai: Applications of Vaught Sentences and the Covering Theorem. J. Symb. Log. 41(1): 171-187 (1976)
	1969
1		Michael Makkai: On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. J. Symb. Log. 34(3): 437-459 (1969)

Coauthor Index

1	Franck van Breugel	[13] [14]
2	Victor Harnik	[2] [6]
3	Claudio Hermida	[12] [13] [14]
4	John Power (A. John Power)	[12]
5	Gonzalo E. Reyes	[10]
6	Giuseppe Rosolini	[11]
7	Saharon Shelah	[5]
8	James Worrell	[13] [14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page