| HAL-Inria | Publications, software ... of Inria's scientists |
Theses
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
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.
https://hal.inria.fr/tel-01157160
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 28, 2015 - 1:32:17 PM
Last modification on : Monday, February 7, 2022 - 4:06:03 PM
Long-term archiving on: : Monday, April 24, 2017 - 4:49:50 PM
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 28, 2015 - 1:32:17 PM
Last modification on : Monday, February 7, 2022 - 4:06:03 PM
Long-term archiving on: : Monday, April 24, 2017 - 4:49:50 PM