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

 vanBakel-deLiguoro:ICTCS-03 (In proceedings) Author(s) Steffen van Bakel and Ugo de' Liguoro Title « Logical Semantics for the First Order Sigma-Calculus » In Proc. of ICTCS'03 Series LNCS 2841 Page(s) 202-215 Year 2003 Publisher Springer
 Abstract We investigate logical semantics of the first order sigma-calculus. An assignment system of predicates to first order typed terms of the OB1 calculus is introduced. We define retraction models for that calculus and an interpretation of terms, types and predicates into such models. The assignment system is then proved to be sound and complete w.r.t. retraction models.

 BibTeX code

``````@inproceedings{vanBakel-deLiguoro:ICTCS-03,
author = {Steffen van Bakel and Ugo de' Liguoro},
series = {LNCS 2841},
booktitle = {{Proc. of ICTCS'03}},
localfile = {http://www.di.unito.it/~deligu/pub/vBdL03.pdf},
title = {{Logical Semantics for the First Order Sigma-Calculus}},
abstract = {We investigate logical semantics of the first order
sigma-calculus. An assignment system of predicates to first order
typed terms of the OB\$_1\$ calculus is introduced. We define
retraction models for that calculus and an interpretation of
terms, types and predicates into such models. The assignment
system is then proved to be sound and complete w.r.t. retraction
models.},
tag = {{ICTCS'03}},
publisher = {Springer},
year = {2003},
pages = {202-215},
}``````

 Formal Methods in Computing(Most of the papers antecedent to 1995are 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)