Richard Garner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 Richard Garner: On the strength of dependent products in the type theory of Martin-Löf. Ann. Pure Appl. Logic 160(1): 1-12 (2009)

3 Richard Garner: Understanding the Small Object Argument. Applied Categorical Structures 17(3): 247-285 (2009)

2 Richard Garner: Two-dimensional models of type theory. Mathematical Structures in Computer Science 19(4): 687-736 (2009)

2008

1 Nicola Gambino, Richard Garner: The identity type weak factorisation system. Theor. Comput. Sci. 409(1): 94-109 (2008)

	2009
4		Richard Garner: On the strength of dependent products in the type theory of Martin-Löf. Ann. Pure Appl. Logic 160(1): 1-12 (2009)
3		Richard Garner: Understanding the Small Object Argument. Applied Categorical Structures 17(3): 247-285 (2009)
2		Richard Garner: Two-dimensional models of type theory. Mathematical Structures in Computer Science 19(4): 687-736 (2009)
	2008
1		Nicola Gambino, Richard Garner: The identity type weak factorisation system. Theor. Comput. Sci. 409(1): 94-109 (2008)

Coauthor Index