Science
->
Math
->
Logic and Foundations
->
Computational Logic
-> Combinatory Logic and Lambda Calculus
Formulae-as-Types Correspondence
Lambda Calculus
Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme.
Physics
|
Anomalies and Alternative Science
|
Astronomy
|
Educational Resources
|
Biology
|
Conferences
|
News
|
Chemistry
|
Earth Sciences
|
Agriculture
|
Instruments and Supplies
|
Chats and Forums
|
Methods and Techniques
|
Social Sciences
|
Math
|
Employment
|
Directories
|
Technology
|
Search Engines
|
Science in Society
|
Software
|
Environment
|
Institutions
|
Publications
|
Reference
Myriophyllum
|
Challenger Accident
|
Astrophysics
|
Cortinariaceae
|
Roman
|
Lysiana
|
Encephalartos transvenosus
|
Foundations
|
Yemen
|
Amphipoda
|
Switzerland
|
Federalist Papers
|
Duranta
|
Reynoldsia
|
Iraq
|
Nigella
|
Journals
|
Europe
|
Systeomics
|
Waste Isolation Pilot Plant, New Mexico
|
Striga
|
Pterygota
|
Sonochemistry
|
Geijera
|
Personal Transporters
|
Alabama
|
Osmunda regalis
|
Hypericum
|
New Hampshire
|
Palauan
|
People
|
Mountains
|
Tetracentraceae
|
Cheiroglossa
|
Europe
|
Bacilli
|
United States
|
Forensic Entomology
|
2002
|
Calocedrus
|
Memetics
|
Pterobranchia
|
Apples
|
Past Hurricanes
|
Danish Sign Language
|
China
|
Bacillariophyta
|
Galaxies
|
Methods and Techniques
|
Fish