[PRL+95] Categorical Semantics of the call-by-value lambda calculus

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

Pravato+Ronchi+Roversi:1995-TLCA (In proceedings)
Author(s)	Alberto Pravato, Simona Ronchi Della Rocca and Roversi Luca
Title	« Categorical Semantics of the call-by-value lambda calculus »
In	Proc. of TLCA'95, Second International Symposium on Typed Lambda Calculus and Applications
Series	Lecture Notes in Computer Science
Volume	902
Page(s)	381-396
Year	1995
Publisher	Springer-Verlag
URL	http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1995-TLCA/PravatoRonchiRoversi1995TLCA.ps.gz

Abstract
The denotational semantics of the call-by-value lambda-calculus in a categorical setting is given. Furthermore, a particular model based on coherence domains is studied.

BibTeX code

@inproceedings{Pravato+Ronchi+Roversi:1995-TLCA,
  volume = {902},
  author = {Pravato, Alberto and Ronchi Della Rocca, Simona and Roversi Luca},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. of TLCA'95, Second International Symposium on Typed Lambda
               Calculus and Applications},
  url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1995-TLCA/PravatoRonchiRoversi1995TLCA.ps.gz},
  abstract = {The denotational semantics of the call-by-value lambda-calculus in
              a categorical setting is given. Furthermore, a particular model
              based on coherence domains is studied.},
  title = {Categorical Semantics of the call-by-value lambda calculus},
  copyrightspringer = {http://www.springer.de/comp/lncs/index.html},
  publisher = {Springer-Verlag},
  year = {1995},
  pages = {381-396},
}

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)