Back to Results
First PageMeta Content
Software engineering / Matita / Lambda calculus / Calculus of constructions / Unification / Type system / Typed lambda calculus / Recursion / Proof assistant / Type theory / Mathematics / Theoretical computer science


sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti ·
Add to Reading List

Document Date: 2009-02-26 11:27:55

Open Document

File Size: 476,02 KB

Share Result on Facebook

City

Orsay / /

Company

Microsoft / /

Country

France / Italy / /

/

Event

Reorganization / /

Facility

Microsoft Research-INRIA Joint Center / University of Bologna / /

IndustryTerm

software engineering / avant-guard tool / type synthesis algorithm / systems / pretty-printing / software engineering scope / /

Organization

University of Bologna / Kernel Department of Computer Science / U.S. Securities and Exchange Commission / /

Position

first author / editor / /

ProvinceOrState

Indiana / /

Technology

functional programming / type synthesis algorithm / /

SocialTag