Mary DeMarco

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Mary DeMarco, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types. J. Log. Comput. 15(6): 821-854 (2005)

2005
1	EE	Mary DeMarco, James Lipton: Completeness and Cut-elimination in the Intuitionistic Theory of Types. J. Log. Comput. 15(6): 821-854 (2005)

Coauthor Index