L. S. van Benthem Jutting Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1993

2 L. S. van Benthem Jutting, James McKinna, Robert Pollack: Checking Algorithms for Pure Type Systems. TYPES 1993: 19-61

1 L. S. van Benthem Jutting: Typing in Pure Type Systems Inf. Comput. 105(1): 30-41 (1993)

*	1993
2		L. S. van Benthem Jutting, James McKinna, Robert Pollack: Checking Algorithms for Pure Type Systems. TYPES 1993: 19-61
1		L. S. van Benthem Jutting: Typing in Pure Type Systems Inf. Comput. 105(1): 30-41 (1993)

Coauthor Index