Benno van den Berg

	2009
4		Benno van den Berg: Three extensional models of type theory. Mathematical Structures in Computer Science 19(2): 417-434 (2009)
	2008
3		Benno van den Berg, Ieke Moerdijk: Aspects of predicative algebraic set theory I: Exact completion. Ann. Pure Appl. Logic 156(1): 123-159 (2008)
	2007
2		Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. Ann. Pure Appl. Logic 146(1): 40-59 (2007)
	2005
1		Benno van den Berg: Inductive types and exact completion. Ann. Pure Appl. Logic 134(2-3): 95-121 (2005)

Coauthor Index

1	Federico De Marchi	[2]
2	Ieke Moerdijk	[3]

Colors in the list of coauthors