Robert Pollack

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 1

Top Topics

Statistical Mechanics

Image Smoothing

Top Venues

J. Lond. Math. Soc.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Kate Jeffery, Robert Pollack, Carlo Rovelli
On the Statistical Mechanics of Life: Schrödinger Revisited. Entropy 21 (12) (2019)
Robert Pollack, Glenn Stevens
-functions. J. Lond. Math. Soc. 87 (2) (2013)
Robert Pollack
Dependently Typed Records in Type Theory. Formal Aspects Comput. 13 (3-5) (2002)
Robert Pollack
Dependently Typed Records for Representing Mathematical Structure. TPHOLs (2000)
James McKinna, Robert Pollack
Some Lambda Calculus and Type Theory Formalized. J. Autom. Reason. 23 (3-4) (1999)
Robert Pollack
A Verified Typechecker. TLCA (1995)
Robert Pollack
On Extensibility of Proof Checkers. TYPES (1994)
James McKinna, Robert Pollack
Pure Type Systems Formalized. TLCA (1993)
L. S. van Benthem Jutting, James McKinna, Robert Pollack
Checking Algorithms for Pure Type Systems. TYPES (1993)
Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reason. 9 (3) (1992)
Robert Harper, Robert Pollack
Type Checking with Universes. Theor. Comput. Sci. 89 (1) (1991)
Robert Harper, Robert Pollack
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). TAPSOFT, Vol.2 (1989)