Why sets? (2008)

by Andreas Blass , Yuri Gurevich
Venue:PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, VOLUME 4800 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:2 - 0 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
19 Higher Order Logic – Daniel Leivant - 1994
HISTORY AND PHILOSOPHY OF LOGIC, 24 (2003), 15–37 Russell’s 1903 – 1905 Anticipation of the Lambda Calculus – Kevin C. Klement - 2002
1 Curry's Anticipation of the Types Used in Programming Languages – Jonathan P. Seldin - 2003
Before we begin: Thank you, thank you, thank you,... Walter.WassollmanzudiesemMannnochsagen? – Stefan Müller, Molekulare Strukturbiologie, Den Meisterdenkern, Peter Peter, Und Ivo, Den Gesellen Christoph, Stephan Und Alex, Den Lehrlingen Thomas, Andreas Günther Roman, Dagmar Und Michael Zusammenfassung
TYPES, SETS AND CATEGORIES – John L. Bell
and – Edward N. Zalta
and – Edward N. Zalta
2 Applying Universal Algebra to Lambda Calculus – Giulio Manzonetto, Antonino Salibra - 2007
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
Handbook of the History of Logic. Volume 6 – Andrea Cantini, Dov M. Gabbay, John Woods (editors
2 Projective absoluteness under Sacks forcing – Daisuke Ikegami
• allow relations F n and G n (n ≥ 1) to be distinct even when The Theory of Relations, Complex Terms, and a Connection Between λ and ɛ Calculi – Edward N. Zalta
3 Functional Genetic Programming with Combinators – Forrest Briggs, Melissa O’neill
MathLang, a framework for computerising – unknown authors - 2007
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine
MathLang, a framework for computerising – unknown authors - 2007