Open AccessSecond-order type theory for first-class environment
Author(s) -
Shin-ya Nishizaki
Publication year - 2017
Publication title -
aip conference proceedings
Language(s) - Uncategorized
Resource type - Conference proceedings
eISSN - 1551-7616
pISSN - 0094-243X
DOI - 10.1063/1.4982508
Subject(s) - class (philosophy) , simply typed lambda calculus , lambda calculus , type (biology) , calculus (dental) , type theory , computer science , typed lambda calculus , function (biology) , order (exchange) , first class , first order , integer (computer science) , dependent type , mathematics , algebra over a field , programming language , pure mathematics , artificial intelligence , medicine , ecology , dentistry , finance , evolutionary biology , data mining , economics , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom