|
Formal Methods in Computing (Most of the papers antecedent to 1995 are 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 OB 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. | |
Download the complete article:
| 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 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)
