| Open Document File Size: 161,72 KBShare Result on Facebook
City Surrey / / Company Oxford University Press / Oxford Univ Press / ET / Needham / Leverhulme Trust / / / Event FDA Phase / / IndustryTerm cryptographic protocols / wider applications / classical law / theorem proving technology / large networks / logical systems / elimination operator / public-key protocol / security protocols / / MusicAlbum U.K. / / Organization Royal Society of London / Univ of Edinburgh / AA / European Union / Oxford University / Univ of London Egham / Association for Computing Machinery / / Person M. Schroeder / Paul Callaghan / Plastic / Robin Adams / Ai / Peter Aczel / Hermann Weyl / / Position author / editor / R. Constable / ALF proof editor / proof assistant / Assistant / mathematician / / Product NS78 / BAN89 / / PublishedMedium Lecture Notes in Computer Science / / Technology Functional Programming / public-key protocol / theorem proving technology / Yahalom protocol / security protocols / Using encryption / / URL http /
SocialTag |
A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed]