| Document Date: 2012-07-23 07:37:37 Open Document File Size: 187,49 KBShare Result on Facebook
City Qu´ebec / HOL / / Company Oxford University Press / edric/Inria AE / / Country Canada / / / Facility library of Coq / / IndustryTerm stable solution / dependent product / proof systems / pure type systems / / Organization McGill University / Oxford University / / Person Mathieu Boespflug / Quentin Carbonneaux / Vladimiro Sassone / David Pichardie / Luis Pinto / E. Gim´enez / Gilles Dowek / Olivier Hermant / IFIP TCS / Ai / Claude Kirchner / Denis Cousineau / Tarmo Uustalu / Gilles Barthe / Maria Jo / / Position editor / guard / Coq proof assistant / first author / Assistant / / Product Hyun Won US2 Portable Audio Device / Dedukti / / ProgrammingLanguage Haskell / / Technology XML / / URL http /
SocialTag |