Mark Bickford (Selection)

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

9

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006)

Selection of 1 from 13 records - Mark Bickford has 15 coauthors