![Lambda calculus / Formal methods / Type theory / Logic in computer science / Programming language theory / Twelf / POPLmark challenge / OCaml / Proof assistant / Software engineering / Computing / Theoretical computer science Lambda calculus / Formal methods / Type theory / Logic in computer science / Programming language theory / Twelf / POPLmark challenge / OCaml / Proof assistant / Software engineering / Computing / Theoretical computer science](https://www.pdfsearch.io/img/a201a368958dc39b8a7c1da51031b09a.jpg)
| Document Date: 2007-10-18 09:46:53 Open Document File Size: 268,73 KBShare Result on Facebook
City Homs / Freiburg / / Country Germany / / Currency USD / / IndustryTerm pretty printing terms / similar machinery / trusted chain / type systems / ott tool / main intended applications / / Organization University of Cambridge INRIA / / Person Peyton Jones / Isabelle / Twelf / Gilles Peskine∗ Rok Strni / Lam App Paren Tsub / Code Our / Ty / / / Position proof assistant / particular proof assistant / General / single proof assistant / assistant / / Product t10 / / ProgrammingLanguage Haskell / EC / R / LATEX / ML / Standard ML / Java / / Technology alpha / LAN / animation / Java / / URL http /
SocialTag |