| 2007 |
|---|
| 12 | EE | 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 |
|---|
| 11 | EE | Franck van Breugel,
Claudio Hermida,
Michael Makkai,
James Worrell:
An Accessible Approach to Behavioural Pseudometrics.
ICALP 2005: 1018-1030 |
| 1998 |
|---|
| 10 | | Claudio Hermida,
Michael Makkai,
John Power:
Higher Dimensional Multigraphs.
LICS 1998: 199-206 |
| 1997 |
|---|
| 9 | EE | Michael Makkai,
Giuseppe Rosolini:
Studying repleteness in the category of cpos.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1995 |
|---|
| 8 | | 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) |
| 7 | | 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) |
| 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) |
