Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Benjamin
Last name:	Werner
DBLP:	40/5509
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 13 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Benjamin Werner. On the strength of proof-irrelevant type theories	CoRR 2008, Volume 0	(0)	2008
	Benjamin Werner. On the Strength of Proof-irrelevant Type Theories.	Logical Methods in Computer Science 2008, Volume 4	(0)	2008
	François Garillot, Benjamin Werner. Simple Types in Type Theory: Deep and Shallow Encodings.	Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings 2007	(0)	2007
	Benjamin Werner. On the Strength of Proof-Irrelevant Type Theories.	Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006	(0)	2006
	Benjamin Grégoire, Laurent Théry, Benjamin Werner. A Computational Approach to Pocklington Certificates in Type Theory.	Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings 2006	(0)	2006
	Gilles Dowek, Benjamin Werner. Arithmetic as a Theory Modulo.	Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings 2005	(0)	2005
	Martín Abadi, Georges Gonthier, Benjamin Werner. Choice in Dynamic Linking.	Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings 2004	(0)	2004
	Alexandre Miquel, Benjamin Werner. The Not So Simple Proof-Irrelevant Model of CC.	Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers 2003	(0)	2002
	Gilles Dowek, Benjamin Werner. Proof Normalization Modulo.	Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 1999	(0)	1998
	Benjamin Werner. Sets in Types, Types in Sets.	Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings 1997	(0)	1997
	Paul-André Melliès, Benjamin Werner. A Generic Normalisation Proof for Pure Type Systems.	Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers 1998	(0)	1996
	Herman Geuvers, Benjamin Werner. On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study	Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France 1994	(0)	1994
	Christine Paulin-Mohring, Benjamin Werner. Synthesis of ML Programs in the System Coq.	J. Symb. Comput. 1993, Volume 15	(0)	1993

Your query returned 13 matches in the database.