Protocols between Programs and Proofs.
Iman Poernomo, John N. Crossley
VenueCLOPSTR
Year2000
ProceedingsLOPSTR (LNCS 2042: Selected Papers)
DBLP recordconf/lopstr/PoernomoC00a ↗
Browse the full LOPSTR paper archive.
Iman Poernomo, John N. Crossley
Browse the full LOPSTR paper archive.