Searching for authors named Benjamin Werner – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Sets in Types, Types in Sets
- …Sets in Types, Types in Sets Benjamin Werner INRIA--Rocquencourt BP 105 78 153 LE CHESNAY cedex…
- Cited by 7 (1 self) – Add To MetaCart
-
A Generic Normalisation Proof for Pure Type Systems
- …A Generic Normalisation Proof for Pure Type Systems Paul-Andr'e Melli`es Benjamin Werner paulm…
- Add To MetaCart
-
B.: The not so simple proof-irrelevant model of CC
- …The not so simple proof-irrelevant model of CC Alexandre Miquel 1 and Benjamin Werner 2 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Coq in Coq
- …Coq in Coq Bruno Barras and Benjamin Werner INRIA-Rocquencourt (Received ..... ; Accepted…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Definition of the Eta-long Normal Form in Type Systems of the Cube
- …'erard Huet Benjamin Werner Abstract The smallest transitive relation ! on well-typed normal terms…
- Cited by 7 (0 self) – Add To MetaCart
-
Proof Normalization Modulo
- … AUTOMATIQUE Proof normalization modulo Gilles Dowek and Benjamin Werner No 3542 Novembre 1998 TH EME 2…
- Cited by 19 (9 self) – Add To MetaCart
-
Arithmetic as a theory modulo
- …Arithmetic as a theory modulo Gilles Dowek and Benjamin Werner Projet LogiCal Pôle Commun de…
- Cited by 7 (2 self) – Add To MetaCart
-
A computational approach to pocklington certificates in type theory
- … Théry 1 , and Benjamin Werner 2 1 INRIA Sophia-Antipolis, France {Benjamin.Gregoire, Laurent…
- Cited by 5 (2 self) – Add To MetaCart
-
A TTCN-3-based Web Service Test Framework
- …A TTCN-3-based Web Service Test Framework Edith Werner, Jens Grabowski, Stefan Troschütz, Benjamin…
- Add To MetaCart
-
Green Bank Telescope Penn Array Project Leader at Penn
- … Description Final Revision April 11, 2005 Computer Science Engineering Senior Benjamin Werner wernerb…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
