![Type theory / Dependently typed programming / Metalogic / Logic in computer science / Mathematical constructivism / Intuitionistic type theory / Logical framework / Constructivism / Impredicativity / Logic / Mathematics / Mathematical logic Type theory / Dependently typed programming / Metalogic / Logic in computer science / Mathematical constructivism / Intuitionistic type theory / Logical framework / Constructivism / Impredicativity / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/d9833d3062e29b73869cec7879c753aa.jpg)
| 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 |