<--- Back to Details
First PageDocument Content
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
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

Add to Reading List

Source URL: www.cs.ru.nl

Download Document from Source Website

File Size: 638,48 KB

Share Document on Facebook

Similar Documents

1 DCC888 – Twelf Name: ID:

DocID: 1v2zY - View Document

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

Microsoft PowerPoint - SASyLF-wmm08-web.ppt

DocID: 1pTp0 - View Document

Type theory / Logic in computer science / Calculus / Twelf

Mind the Gap: Artifacts vs Insights in PL Theory Nada Amin∗ and Tiark Rompf ∗‡ ‡ ∗

DocID: 1mdMA - View Document

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

Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science

DocID: 1lvrP - View Document

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

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

DocID: 1ljoc - View Document