Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
141	CONTENTS July 19, 2007 1 Kahn Networks in Coq Christine Paulin-Mohring Add to Reading List Source URL: www.lri.fr Language: English - Date: 2007-07-19 04:06:51
142	LE COQ SPORTIF BRAND MANUAL Add to Reading List Source URL: www.lecoqsportif.com Language: English - Date: 2012-01-20 04:33:44
143	DAY DELEGATE PACKAGES Main Course Options - Package 2 Menu Option 1 Sauté of Chicken, Coq au Vin Chicken on the bone sautéed in Smoked Bacon Lardoons, Baby Onions, Button Mushrooms & Rich Burgundy Wine Add to Reading List Source URL: thomondpark.ie - Date: 2013-01-10 14:03:58
144	Alea: a library for reasoning on randomized algorithms in Coq Version 7 Christine Paulin-Mohring with contributions by David Baelde and Pierre Courtieu PROVAL Team Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-02-12 09:04:39
145	Alea: a library for reasoning on randomized algorithms in Coq Version 6 Christine Paulin-Mohring with contributions by David Baelde and Pierre Courtieu PROVAL Team Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-02-02 15:04:09
146	Mixing HOL and Coq in Dedukti (Extended Abstract) Ali Assaf Raphaël Cauderlier Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-20 05:30:10
147	Coq a` la Tarski: a predicative calculus of constructions with explicit subtyping Ali Assaf12 1 INRIA Paris-Rocquencourt, Paris, France Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:19
148	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
149	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
150	V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:25 Poetry Jabberwocky Coq Thierry Coquand Vorpal sword Homological algebra Alice in Wonderland Nonce words Literature

UPDATE