Skip to Main content Skip to Navigation
Theses

Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects

Abstract : This thesis is part of the study of Type Theory for the λ-calculus. It is divided into a "foundational" part and in an "applicative" part: i) The foundational part studies various type assignment systems for the untyped λ-calculus. In particular the main properties of such systems were proved and were considered the relations with the corresponding type systems for the typed λ-calculus and with intuitionistic logic. ii) The applicative part studies a possible extension of the λ-calculus to a language that can be seen as a "paradigm" to study new programming techniques such as object-oriented programming. A type assignment system for such language has been defined and the fundamental properties of the system were proved.
Complete list of metadata

https://hal.inria.fr/tel-01157160
Contributor : Luigi Liquori <>
Submitted on : Thursday, May 28, 2015 - 1:32:17 PM
Last modification on : Saturday, January 27, 2018 - 1:31:00 AM
Long-term archiving on: : Monday, April 24, 2017 - 4:49:50 PM

Identifiers

  • HAL Id : tel-01157160, version 1

Collections

Citation

Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English. ⟨tel-01157160⟩

Share

Metrics

Record views

386

Files downloads

89