On Completeness of Logical Relations for Monadic Types

Shranjeno v:

Bibliografske podrobnosti
izdano v:	arXiv.org (Dec 21, 2006), p. n/a
Glavni avtor:	Lasota, Slawomir
Drugi avtorji:	Nowak, David, Zhang, Yu
Izdano:	Cornell University Library, arXiv.org
Teme:	Calculus Program verification (computers) Computation Security Completeness Software Equivalence Calculi
Online dostop:	Citation/Abstract Full text outside of ProQuest
Oznake:	Označite Brez oznak, prvi označite!