1
An Introduction to Category Theory

An Introduction to Category Theory

Harold Simmons
Année:
2011
Langue:
english
Fichier:
PDF, 964 KB
0 / 0
english, 2011
2
An Introduction to Category Theory [Solution Manual]

An Introduction to Category Theory [Solution Manual]

Harold Simmons
Année:
2011
Langue:
english
Fichier:
PDF, 627 KB
0 / 0
english, 2011
3
An Introduction to Category Theory

An Introduction to Category Theory

Harold Simmons
Année:
2011
Langue:
english
Fichier:
PDF, 4.04 MB
0 / 5.0
english, 2011
4
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Harold Simmons
Année:
2000
Langue:
english
Fichier:
PDF, 12.45 MB
0 / 0
english, 2000
5
An introduction to category theory

An introduction to category theory

Harold Simmons
Année:
2011
Langue:
english
Fichier:
PDF, 805 KB
0 / 0
english, 2011
6
Inorganic Syntheses, Volume 1

Inorganic Syntheses, Volume 1

Harold Simmons Booth (ed.)
Année:
1939
Langue:
english
Fichier:
PDF, 81.79 MB
0 / 0
english, 1939
7
The tensor product of commutative monoids [expository notes]

The tensor product of commutative monoids [expository notes]

Harold Simmons
Année:
2004
Langue:
english
Fichier:
PDF, 107 KB
0 / 0
english, 2004
8
Inorganic Synthesis, Vol. 16

Inorganic Synthesis, Vol. 16

Harold Simmons Booth
Année:
1975
Langue:
english
Fichier:
PDF, 9.83 MB
0 / 0
english, 1975
9
While loops and programs [expository notes]

While loops and programs [expository notes]

Harold Simmons
Année:
2003
Langue:
english
Fichier:
PDF, 248 KB
0 / 0
english, 2003
10
Forms of recursion and induction [expository notes]

Forms of recursion and induction [expository notes]

Harold Simmons
Année:
2004
Langue:
english
Fichier:
PDF, 408 KB
0 / 0
english, 2004
11
ANALYSIS AND EVALUATION OF THE JOB OF THE STATE SUPERVISOR OF TRADE AND INDUSTRIAL EDUCATION

ANALYSIS AND EVALUATION OF THE JOB OF THE STATE SUPERVISOR OF TRADE AND INDUSTRIAL EDUCATION

TATE, HAROLD SIMMONS
Langue:
english
Fichier:
PDF, 14.17 MB
0 / 0
english
12
An introduction to Category Theory [draft]

An introduction to Category Theory [draft]

Harold Simmons
Année:
2010
Langue:
english
Fichier:
PDF, 1.28 MB
0 / 0
english, 2010
13
Domains for recursion [expository notes]

Domains for recursion [expository notes]

Harold Simmons
Année:
2003
Langue:
english
Fichier:
PDF, 199 KB
0 / 0
english, 2003
14
The topos of actions on a monoid [expository notes]

The topos of actions on a monoid [expository notes]

Harold Simmons
Année:
2003
Langue:
english
Fichier:
PDF, 211 KB
0 / 0
english, 2003
15
Derivation and computation: taking the Curry-Howard correspondence seriously

Derivation and computation: taking the Curry-Howard correspondence seriously

Simmons, Harold
Année:
2000
Langue:
english
Fichier:
DJVU, 3.63 MB
0 / 4.5
english, 2000
16
The point-free approach to sheafification [expository notes]

The point-free approach to sheafification [expository notes]

Harold Simmons
Année:
2001
Langue:
english
Fichier:
PDF, 296 KB
0 / 0
english, 2001