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

by Peter Selinger
Citations:3 - 0 self

Documents Related by Co-Citation

12 Lambda abstraction algebras: coordinatizing models of lambda calculus – D Pigozzi, A Salibra - 1998
46 What is a model of the lambda calculus – Albert Meyer - 1981
8 Order-Incompleteness and Finite Lambda Models (Extended Abstract) – Peter Selinger - 1996
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. The Kleene Symposium – D S 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
123 Lambda-calcul, types et modèles – J L Krivine - 1990
269 A Course in Universal Algebra – Sankappanavar Stanley Burris, Stanley Burris, Kurosh Phillip Burris, Also Thank A. Adamson - 1981
11 Lambda abstraction algebras: representation theorems – D Pigozzi, A Salibra - 1995
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
199 The Lambda Calculus: its Syntax and Semantics (revised ed – H P Barendregt - 1984
4 On a Question of Friedman – Gordon Plotkin - 1995
20 On The Algebraic Models Of Lambda Calculus – Antonino Salibra - 1997
3 Modeles fortement stables du -calcul et resultats d'incompletude, These, Universite de Paris 7 – O Bastonero - 1996