Benno van den Berg

	2012
7		Benno van den Berg, Richard Garner: Topological and Simplicial Models of Identity Types. ACM Trans. Comput. Log. 13(1): 3 (2012)
	2011
6		Benno van den Berg, Ieke Moerdijk: Aspects of predicative algebraic set theory, II: Realizability. Theor. Comput. Sci. 412(20): 1916-1940 (2011)
	2009
5		Benno van den Berg: Three extensional models of type theory. Mathematical Structures in Computer Science 19(2): 417-434 (2009)
	2008
4		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
3		Benno van den Berg, Federico De Marchi: Non-well-founded trees in categories. Ann. Pure Appl. Logic 146(1): 40-59 (2007)
2		Federico De Marchi, Benno van den Berg: Models of non-well-founded sets via an indexed final coalgebra theorem. J. Symb. Log. 72(3): 767-791 (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	Richard Garner	[7]
2	Federico De Marchi	[2] [3]
3	Ieke Moerdijk	[4] [6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page