Twelf - PDFSEARCH.IO - Document Search Engine

Twelf
Results: 30

#	Item
21	SI XTH – TWELF TH GRA DE L I T E R AC Y I N H I S TO RY / S O C I A L S T U D I E S , SCIENCE, AND TECHNICAL SUBJECTS COMMON CORE Add to Reading List Source URL: www.michigan.gov Language: English - Date: 2012-12-07 20:07:27 Education in the United States Pedagogy Critical pedagogy Educational psychology Reading comprehension Critical reading Common Core State Standards Initiative Education Linguistics Reading
22	c Cambridge University Press 2010 JFP 20 (1): 71–122, 2010. 71 doi:[removed]S0956796809990293 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-01-28 13:39:47 Functional languages Logic in computer science Metalogic Formal languages Mathematical logic OCaml Metalanguage Proof assistant Twelf Software engineering Computing Theoretical computer science
23	Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir1 , Aaron Bohannon1 , Matthew Fairbairn2 , J. Nathan Foster1 , Benjamin C. Pierce1 , Peter Sewell2 , Dimitrios Vytiniotis1 , Geoffrey Washburn1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-11-30 06:37:29 Mathematics Formal methods Deduction Proof theory Data types POPLmark challenge Subtype polymorphism Twelf Type safety Type theory Logic Theoretical computer science
24	Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-10-18 09:46:53 Lambda calculus Formal methods Type theory Logic in computer science Programming language theory Twelf POPLmark challenge OCaml Proof assistant Software engineering Computing Theoretical computer science
25	Jason Reed Phone: ([removed]Email: [removed] Web: http://jcreed.org/ Education Add to Reading List Source URL: jcreed.org Language: English - Date: 2013-01-05 19:00:47 Logic in computer science Automated theorem proving Type theory Dependently typed programming Logical framework Frank Pfenning Modal logic Twelf Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical logic Mathematics
26	Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-27 15:02:09 Logic in computer science Type theory Formal methods Automated theorem proving Logical framework Twelf Logic programming Prolog Programming language Programming language theory Theoretical computer science Software engineering
27	Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2013-10-16 10:39:33 Logic in computer science Formal methods Automated theorem proving Type theory Functional languages Proof assistant Twelf Coq ACL2 Theoretical computer science Mathematics Software engineering
28	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
29	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-01-19 11:14:01 Software engineering Semantics Logic in computer science Deduction Geometric group theory Twelf Entailment Type safety Type system Logic Type theory Abstract algebra

UPDATE