Robert Lee Constable - PDFSEARCH.IO - Document Search Engine

Robert Lee Constable
Results: 5

#	Item
1	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
2	1 A Diversified and Correct-by-Construction Broadcast Service Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University, Computer Science Department Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-09-24 18:19:27 Fault-tolerant computer systems Computing Distributed algorithms Paxos Consensus Communications protocol Robert Lee Constable Inter-process communication
3	Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-09-09 13:38:19 Logic in computer science Formal sciences Dependently typed programming Type theory Robert Lee Constable Logic programming Mathematical logic Orc Curry–Howard correspondence Mathematics Theoretical computer science Logic
4	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science
5	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2004-12-07 23:48:09 Computational linguistics NuPRL Proof theory Robert Lee Constable Mathematical proof Lattice Sequence alignment Speech recognition Abstract algebra Mathematics Science