Robert Pollack

According to our database, Robert Pollack authored at least 13 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

On the Statistical Mechanics of Life: Schrödinger Revisited.

Kate Jeffery, Robert Pollack, Carlo Rovelli

Entropy, 2019

2013

Critical slope <i>p</i>-adic <i>L</i>-functions.

Robert Pollack, Glenn Stevens

J. Lond. Math. Soc., 2013

2002

Dependently Typed Records in Type Theory.

Robert Pollack

Formal Aspects Comput., 2002

2000

Dependently Typed Records for Representing Mathematical Structure.

Robert Pollack

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

Some Lambda Calculus and Type Theory Formalized.

James McKinna, Robert Pollack

J. Autom. Reason., 1999

1995

The theory of LEGO.

Robert Pollack

PhD thesis, 1995

A Verified Typechecker.

Robert Pollack

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

On Extensibility of Proof Checkers.

Robert Pollack

Proceedings of the Types for Proofs and Programs, 1994

1993

Checking Algorithms for Pure Type Systems.

L. S. van Benthem Jutting, James McKinna, Robert Pollack

Proceedings of the Types for Proofs and Programs, 1993

Pure Type Systems Formalized.

James McKinna, Robert Pollack

Proceedings of the Typed Lambda Calculi and Applications, 1993

1992

Using Typed Lambda Calculus to Implement Formal Systems on a Machine.

Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack

J. Autom. Reason., 1992

1991

Type Checking with Universes.

Robert Harper, Robert Pollack

Theor. Comput. Sci., 1991

1989

Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).

Robert Harper, Robert Pollack

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989