Loading search results...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Showing 50 results in Books. Ranked by relevance, with ranking context shown on each result.
International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland) | 2001
International Conference on Typed Lambda Calculi and Applications (6th 2003 Valencia, Spain) | 2003
Simona Ronchi Della Rocca | 2004
Pi Lambda Theta. | 1935
A quarter of a century of Pi lambda theta
International Conference on Typed Lambda Calculi and Applications (8th 2007 Paris, France) | 2007
International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy) | 1999
Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome) | 1975
[Lambda] - calculus and computer science theory
Robert William Dickey | 1916
The application of the plane grating to the determination of the index of refraction of a gas [lambda] 2500 to [lambda] 6500
Iota Lambda Sigma. | 1952
Lindsay Judson | 2019
Masahito Hasegawa | 2013
ICON Group Ltd. | 2000
Ioan-Ioviț Popescu | 2011
C. P. J. Koymans | 1984
Toby Weston | 2017
Alonzo Church | 1965
H. P. Barendregt | 2013
Madhusudhan Konda | 2016
Malcolm C. Harrison | 1986
The add-on-lambda operation: an extension of P&A
Luke Ong | 2011
Malcolm C. Harrison | 1988
Add-and-lambda II: eliminating busy waits
Das Lambda-Lesebuch: Journalismus andersrum
Dirk Draheim | 2018
Randall C. Willis | 1992
David Logan MacQuarrie | 1966
Studies of biotin transduction by bacteriophage lambda
S. Kamal Abdali | 1973
A simple lambda-calculus model of programming languages
Peter Sbarski | 2017
Richard G. Van de Water | 1990
Alonzo Church | 1985
M.R. Essen | 1975
J. R. Hindley | 1986
Kishori Sharan | 2018
Lorraine Cindy Krysac | 1994
Nonplanar and nonlinear second sound in helium II near T[Lambda]
Danilo Poccia | 2016
Mary Denise Daley | 1993
Renato Fiorenza | 2017
