Home Advanced Search

Advanced Search - Page 1

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
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
The Story Factor: Inspiration, Influence, and Persuasion through the Art of Storytelling
  • MOBI
  • English
  • Year: 2009
  • Author: Simmons, Annette [Simmons, Annette]
Double Stitch: Designs for the Crochet Fashionista
  • EPUB
  • English
  • Year: 2013
  • Author: Simmons, Monika;Simmons, Erika
Double Stitch: Designs for the Crochet Fashionista
  • AZW3
  • English
  • Year: 2013
  • Author: Simmons, Monika;Simmons, Erika
search