Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
281	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
282	Thesis for the degree of Doctor of Philosophy Towards a practical programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:01 Computing Functional languages Automated theorem proving Programming paradigms Logic in computer science Agda Dependent type Type system Coq Software engineering Programming language theory Type theory
283	Resume statistique - Saint-Andre-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2013-01-18 05:05:01
284	Resume statistique - Montignac-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2013-01-18 04:18:37
285	Resume statistique - Juillac-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2013-01-18 04:18:30
286	Resume statistique - Dommartin-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2013-01-18 04:13:01
287	Dossier local - Commune - Saint-Andre-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2012-12-18 09:09:12
288	Dossier local - Commune - Montignac-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2012-12-17 10:35:09
289	Dossier local - Commune - Juillac-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2012-12-17 10:33:51
290	Dossier local - Commune - Dommartin-le-Coq Add to Reading List Source URL: www.statistiques-locales.insee.fr Language: French - Date: 2012-12-17 08:37:47