Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

dezatats06 (In proceedings)
Author(s) Mariangiola Dezani-Ciancaglini and Makoto Tatsuta
Title« A Behavioural Model for Klop's Calculus »
InLogic, Model and Computer Science
SeriesENTCS
Editor(s) Flavio Corradini and Carlo Toffalori
Volume169
Page(s)19-32
Year2007
PublisherElsevier
PDFhttp://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.

BibTeX code

@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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!