Showing 1 - 16
of 16
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Lambda calculus
Institution
Format
Subject
Lambda calculus
3
Curry-Howard isomorphism
3
Proof theory
2
Computer science Mathematics
2
Functional programming (Computer science)
2
Logic, Symbolic and mathematical
more ...
2
Rewriting systems (Computer science)
1
Abstract data types (Computer science)
1
Artificial intelligence
1
Categorial grammar
1
Combinatory logic
1
Computer logic
1
Computer science
1
Data structures (Computer science)
1
Functional programming languages
1
Language and logic
1
Machine theory
1
Mathematical linguistics
1
Mathematics
1
Processes, Infinite
1
Semantic computing
see all ...
less ...
Author
11
SpringerLink (Online service)
6
International Conference on Typed Lambda Calculi and Applications
3
ScienceDirect (Online service)
3
Urzyczyn, Paweł
2
Sørensen, Morten Heine
1
Barendregt, H. P.
more ...
1
Benthem, Johan van, 1949-
1
Crossley, John N.
1
Curien, P.-L.
1
Dowek, Gilles,
1
Draheim, Dirk, 1969-
1
Hasegawa, Masahito, 1970-
1
International Conference on Rewriting Techniques and Applications
1
International Conference on Rewriting Techniques and Applications Vienna, Austria)
1
International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil)
1
International Conference on Typed Lambda Calculi and Applications Eindhoven, Netherlands)
1
International Conference on Typed Lambda Calculi and Applications Nara, Japan)
1
International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia)
1
International Conference on Typed Lambda Calculi and Applications Paris, France)
1
Jay, Barry
1
Klop, J. W.
1
Kluge, Werner
1
Middeldorp, Aart, 1963-
1
Ong, Luke
1
Poernomo, Iman Hafiz, 1976-
1
Ronchi Della Rocca, S.
1
Révész, György E.
1
Wirsing, M.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication