Robert Pollack (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers Springer 2002

8 James McKinna, Robert Pollack: Some Lambda Calculus and Type Theory Formalized. J. Autom. Reasoning 23(3-4): 373-409 (1999)

5 James McKinna, Robert Pollack: Pure Type Systems Formalized. TLCA 1993: 289-305

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

Selection of 4 from 11 records - Robert Pollack has 8 coauthors

11		Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers Springer 2002
8		James McKinna, Robert Pollack: Some Lambda Calculus and Type Theory Formalized. J. Autom. Reasoning 23(3-4): 373-409 (1999)
5		James McKinna, Robert Pollack: Pure Type Systems Formalized. TLCA 1993: 289-305
4		L. S. van Benthem Jutting, James McKinna, Robert Pollack: Checking Algorithms for Pure Type Systems. TYPES 1993: 19-61