dezatats06 (In proceedings)
|
Author(s) | Mariangiola Dezani-Ciancaglini and Makoto Tatsuta |
Title | « A Behavioural Model for Klop's Calculus » |
In | Logic, Model and Computer Science |
Series | ENTCS |
Editor(s) | Flavio Corradini and Carlo Toffalori |
Volume | 169 |
Page(s) | 19-32 |
Year | 2007 |
Publisher | Elsevier |
PDF | http://www.di.unito.it/˜dezani/papers/dt.pdf |
Abstract |
A model characterising strong normalisation for Klop's extension of lambda-calculus is presented. The main technical tools for this result are an inductive definition of strongly normalising terms of Klop's calculus and an intersection type system for terms of Klop's calculus. |
@inproceedings{dezatats06,
volume = {169},
pdf = {http://www.di.unito.it/~dezani/papers/dt.pdf},
author = {Dezani-Ciancaglini, Mariangiola and Tatsuta, Makoto},
series = {ENTCS},
booktitle = {Logic, Model and Computer Science},
editor = {Flavio Corradini and Carlo Toffalori},
title = {{A Behavioural Model for Klop's Calculus}},
abstract = {A model characterising strong normalisation for Klop's extension
of lambda-calculus is presented. The main technical tools for this
result are an inductive definition of strongly normalising terms
of Klop's calculus and an intersection type system for terms of
Klop's calculus.},
publisher = {Elsevier},
year = 2007,
pages = {19-32},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)