Benno van den Berg

2009
4	EE	Benno van den Berg: Three extensional models of type theory. Mathematical Structures in Computer Science 19(2): 417-434 (2009)
2008
3	EE	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	EE	Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. Ann. Pure Appl. Logic 146(1): 40-59 (2007)
2005
1	EE	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