On Completeness of Logical Relations for Monadic Types

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	arXiv.org (Dec 21, 2006), p. n/a
1. Verfasser:	Lasota, Slawomir
Weitere Verfasser:	Nowak, David, Zhang, Yu
Veröffentlicht:	Cornell University Library, arXiv.org
Schlagworte:	Calculus Program verification (computers) Computation Security Completeness Software Equivalence Calculi
Online-Zugang:	Citation/Abstract Full text outside of ProQuest
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!