First Year Report: (2007)

Cached

Download Links

by Unknown Authors

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Second Year Report: Syntactic and Semantic properties of useful – unknown authors - 2008
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
3 Reducibility: a ubiquitous method in lambda calculus with intersection types – Silvia Ghilezan, École Normale, Supérieure Lyon, Silvia Likavec - 2002
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
calculi and – S. Ghilezan, J. Ivetić, P. Lescanne, S. Likavec - 2013
9 On Strong Normalization in the Intersection Type Discipline (Extended Abstract) – Gérard Boudol
13 Finite Family Developments – Vincent van Oostrom
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
Resource control and strong normalisation – S. Ghilezan, J. Ivetić, P. Lescanne, S. Likavec - 2012
Type Systems for Programming Languages – Steffen van Bakel - 2001
Behavioural Inverse Limit λ-Models – Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec - 2003
5 Two behavioural lambda models – Mariangiola Dezani-ciancaglini, Silvia Ghilezan - 2003
6 Perpetual Reductions in λ-Calculus – Femke van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, Hongwei Xi - 1999
7 Perpetual Reductions in λ-Calculus – Femke Van Raamsdonk, Paula Severi, Morten Heine B. Sørensen, B. Srensen, Hongwei Xi - 1999
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
Abstraction-Based Genetic Programming By – Franck J. L. Binard
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction – Fairouz Kamareddine, Vincent Rahli