Showing 1 - 8
of 8
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Type theory
1
Categories (Mathematics)
1
Computer programming
1
Computer software Development
1
Formal methods (Computer science)
1
Geometry, Algebraic
more ...
1
Homotopy theory
1
Knowledge, Theory of
1
Logic, Symbolic and mathematical
1
Programming languages (Electronic computers)
1
Proof theory
1
Univalent functions
see all ...
less ...
Author
5
SpringerLink (Online service)
2
ScienceDirect (Online service)
1
Andrews, P. B. 1937-
1
Bove, Ana
1
Del Mar González, Maria,
1
Gambino, Nicola, 1975-
more ...
1
Girard, Jean-Yves
1
Granström, Johan Georg
1
Jacobs, Bart
1
Kamareddine, Fairouz D.
1
Kock, Joachim, 1967-
1
Laan, Twan
1
LerNet ALFA Summer School
1
LerNet ALFA Summer School Piriapolis, Uruguay)
1
Nederpelt, R. P.
1
Primiero, Giuseppe
1
Yang, Paul C.,
see all ...
less ...
Language
Literary Form
Year of Publication