Klaus Grue
Emeritus
Datalogisk Institut
Universitetsparken 1, 2100 København Ø
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
1 - 1 ud af 1Pr. side: 10
- 2001
- Udgivet
Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305
Grue, Klaus, 2001, Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers, s. 289-314Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 283753155