Home Advanced Search

Advanced Search - Page 1

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
  • PDF
  • English
  • Year: 1993
  • Author: Peter Aczel, Harold Simmons, Stanley S. Wainer
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
  • PDF
  • English
  • Year: 2012
  • Author: Schwichtenberg, Helmut; Wainer, Stanley S
Situation Theory and Its Applications
  • DJVU
  • English
  • Year: 1993
  • Author: Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.)
The point-free approach to sheafification [expository notes]
  • PDF
  • English
  • Year: 2001
  • Author: Harold Simmons
The topos of actions on a monoid [expository notes]
  • PDF
  • English
  • Year: 2003
  • Author: Harold Simmons
Forms of recursion and induction [expository notes]
  • PDF
  • English
  • Year: 2004
  • Author: Harold Simmons
An introduction to Category Theory [draft]
  • PDF
  • English
  • Year: 2010
  • Author: Harold Simmons
Derivation and computation: taking the Curry-Howard correspondence seriously
  • DJVU
  • English
  • Year: 2000
  • Author: Simmons, Harold
ANALYSIS AND EVALUATION OF THE JOB OF THE STATE SUPERVISOR OF TRADE AND INDUSTRIAL EDUCATION
  • PDF
  • English
  • Author: TATE, HAROLD SIMMONS
Homotopy Type Theory. Univalent Foundations of Mathematics
  • PDF
  • English
  • Author: Aczel Peter et al.
search