dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nick Benton (Selection)

P. N. Benton

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride: Strongly Typed Term Representations in Coq. J. Autom. Reasoning 49(2): 141-159 (2012)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Chung-Kil Hur: Biorthogonality, step-indexing and compiler correctness. ICFP 2009: 97-108

Selection of 2 from 47 records - Nick Benton has 30 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page