Twelf - PDFSEARCH.IO - Document Search Engine

Twelf
Results: 30

#	Item
1	1 DCC888 – Twelf Name: ID: Add to Reading List Source URL: homepages.dcc.ufmg.br Language: English - Date: 2013-05-20 15:35:59
2	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
3	Mind the Gap: Artifacts vs Insights in PL Theory Nada Amin∗ and Tiark Rompf ∗‡ ‡ ∗ Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-22 20:32:50 Type theory Logic in computer science Calculus Twelf
4	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
5	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
6	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
7	Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨ Add to Reading List Source URL: www.itu.dk - Date: 2004-04-08 18:53:27
8	Proof-Directed Programming Twelf - A Case Study Carsten Sch¨ urmann IT University of Copenhagen joint work with Frank Pfenning Add to Reading List Source URL: www.itu.dk - Date: 2006-12-19 08:05:41
9	Structural Logical Relations∗ Carsten Sch¨urmann IT University of Copenhagen Copenhagen, Denmark Add to Reading List Source URL: www.twelf.org - Date: 2008-04-16 17:46:40
10	An Executable Formalization of the HOL/Nuprl Connection in Twelf Carsten Sch¨ urmann1 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-12-06 10:57:56