Computer Science Logic

DOI10.1007/B100120zbMath1095.03009OpenAlexW2481899496MaRDI QIDQ5311272

Yu Zhang, Sławomir Lasota, Jean Goubault-Larrecq, David E. Nowak

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100120

zbMATH Keywords

MonadsCryptographic lambda-calculusLogical relationsSubscone

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Cryptographic logical relations

This page was built for publication: Computer Science Logic