Back to Results
First PageMeta Content
Type theory / Dependently typed programming / Computability theory / General topology / Net / Inductive data type / Constructible universe / Inductive reasoning / Linear logic / Logic / Mathematical logic / Mathematics


Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria
Add to Reading List

Document Date: 2013-08-26 10:13:14

Open Document

File Size: 331,24 KB

Share Result on Facebook

Country

Austria / /

Currency

pence / /

/

Facility

Nets Stéphane Gimenez Institute of Computer Science University / H emplacement / /

IndustryTerm

Deep-inference typing systems / /

Organization

Nets Stéphane Gimenez Institute / University of Innsbruck / /

Person

Ai / /

Position

Programmer / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

functional programming / /

SocialTag