Welcome to the PC Owl Web Directory.
PC Owl Web Directory

HOME & FURNISHINGS

KIDS & TEENS

SOCIETY

SCIENCE

ADD URL

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
<


Submit URL - Add your Website

Web Directory       Home & Furnishings       Kids & Teens       Society      Science      Add URL

© 2004 PC Owl Web Directory