Benno van den Berg

List of publications from the DBLP Bibliography Server - FAQ

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)

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