Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms (1997)

by Peter Selinger
Citations:3 - 0 self

Documents Related by Co-Citation

46 What is a model of the lambda calculus – Albert Meyer - 1981
8 Order-Incompleteness and Finite Lambda Models (Extended Abstract) – Peter Selinger - 1996
12 Lambda abstraction algebras: coordinatizing models of lambda calculus – D Pigozzi, A Salibra - 1998
11 On a question of H – G D Plotkin - 1996
16 A Continuum of Theories of Lambda Calculus Without Semantics – Antonino Salibra - 2001
34 Lambda Calculus: Some Models, Some Philosophy’, in Barwise et al – D Scott - 1980
6 The Lambda Calculus. Its Syntax and Semantics" (revised edition – H Barendregt - 1984
14 A finite equational axiomatization of the functional algebras for the lambda calculus – A Salibra, R Goldblatt - 1999
24 Ronchi Della Rocca S., “An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus – F Honsell - 1992
11 Lambda abstraction algebras: representation theorems – D Pigozzi, A Salibra - 1995
269 A Course in Universal Algebra – Sankappanavar Stanley Burris, Stanley Burris, Kurosh Phillip Burris, Also Thank A. Adamson - 1981
122 Lambda Calcul : types et modèles – J-L Krivine - 1990
3 Towards Lambda Calculus Order-Incompleteness – Antonino Salibra
5 Ronchi Della Rocca S., "An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus – F Honsell - 1992
7 concurrency: a mathematical investigation of programming paradigms – polymorphism Functionality - 1997
4 On a Question of Friedman – Gordon Plotkin - 1995
20 On The Algebraic Models Of Lambda Calculus – Antonino Salibra - 1997
198 The Lambda Calculus: its Syntax and Semantics (revised ed – H P Barendregt - 1984
3 Modeles fortement stables du -calcul et resultats d'incompletude, These, Universite de Paris 7 – O Bastonero - 1996