Back to Results
First PageMeta Content
Mathematical constructivism / Type theory / Proof theory / Logic in computer science / Metalogic / Realizability / Agda / Curry–Howard correspondence / MINLOG / Logic / Mathematical logic / Mathematics


Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto 2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2
Add to Reading List

Document Date: 2011-05-22 19:06:42

Open Document

File Size: 153,59 KB

Share Result on Facebook

City

Munich / /

Company

IEEE Computer Society Press / /

Country

Wales / /

Currency

pence / /

Facility

Wales LMU University / Swansea University / /

IndustryTerm

normalisation-by-evaluation algorithm / Proof search / program computing / /

Organization

Wales LMU University / Logic and Cambridge Univ. / Swansea University / /

Person

Scott / Makoto Takeyama / Kenji Miyamoto / /

Position

author / editor / The Coq Proof Assistant / /

ProvinceOrState

Swansea / /

Technology

normalisation-by-evaluation algorithm / artificial intelligence / /

URL

www.minlog-system.de / http /

SocialTag