Robert Pollack

14 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
On the Statistical Mechanics of Life: Schrödinger Revisited.
Entropy
Kate Jeffery, Robert Pollack, Carlo Rovelli
2013 J jnl
Critical slope
J. Lond. Math. Soc.
Robert Pollack, Glenn Stevens
2002 J jnl
Dependently Typed Records in Type Theory.
Formal Aspects Comput.
Robert Pollack
2002 — ed.
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers
TYPES
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
2000 — conf
Dependently Typed Records for Representing Mathematical Structure.
TPHOLs
Robert Pollack
1999 J jnl
Some Lambda Calculus and Type Theory Formalized.
J. Autom. Reason.
James McKinna, Robert Pollack
1995 — conf
A Verified Typechecker.
TLCA
Robert Pollack
1995 — —
The theory of LEGO.
Robert Pollack
1994 — conf
On Extensibility of Proof Checkers.
TYPES
Robert Pollack
1993 — conf
Checking Algorithms for Pure Type Systems.
TYPES
L. S. van Benthem Jutting, James McKinna, Robert Pollack
1993 — conf
Pure Type Systems Formalized.
TLCA
James McKinna, Robert Pollack
1992 J jnl
Using Typed Lambda Calculus to Implement Formal Systems on a Machine.
J. Autom. Reason.
Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
1991 J jnl
Type Checking with Universes.
Theor. Comput. Sci.
Robert Harper, Robert Pollack
1989 — conf
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).
TAPSOFT, Vol.2
Robert Harper, Robert Pollack