by Pawel Urzyczyn
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Lambda calculus · Grammatical categories
Language & grammar
2005
Lambda calculus · Calculus
The lambda calculus
1981
Machine theory · Lambda calculus
Abstract computing machines
Mathematical Logic and Formal Languages · Symbolic and mathematical Logic
Typed Lambda Calculi and Applications
2013
Lambda calculus · Semantics
Domains and lambda-calculi
1998
Lambda Calculi
1994
Curry-Howard isomorphism · Lambda calculus
Lectures on the Curry-Howard isomorphism
2006
Lambda calculus · Congresses
1999
Lambda calculus · Categories (Mathematics)
Categories for types
1993
Categorial grammar · Lambda calculus
Language in action
1991
Lambda calculus · Logic, symbolic and mathematical
The parametric lambda calculus
2004
Logic design · Computer science
Pattern Calculus
2009
Logic design · Symbolic and mathematical Logic
2011
Communism · Sources
Manifest der Kommunistischen Partei
1848
Ethics · Early works to 1800
Nicomachean Ethics
1558
Fiction · British
Lord Jim
1900
Theory of Knowledge · Ancient Philosophy
Θεαίτητος
1861
Fiction · Philosophers
Sartor resartus
1800
