A System F accounting for scalars

Arrighi, Pablo; Díaz-Caro, Alejandro; Barendregt, Henk P

doi:10.2168/LMCS-8(1:11)2012

Record: found
Abstract: not found
Article: not found

A System F accounting for scalars

Author(s): Pablo Arrighi , Alejandro Díaz-Caro

Editor(s): Henk Barendregt

Publication date Created: 2012

Publication date (Electronic): February 27 2012

Journal: Logical Methods in Computer Science

Publisher: Logical Methods in Computer Science e.V.

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 24

Record: found
Abstract: not found
Article: not found

The differential lambda-calculus

Thomas Ehrhard, Laurent Regnier (2003)

0 comments Cited 63 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: found
Article: not found

Intensional interpretations of functionals of finite type I

W. W. Tait (1967)

T0 will denote Gödel's theory T[3] of functionals of finite type (f.t.) with intuitionistic quantification over each f.t. added. T1 will denote T0 together with definition by bar recursion of type o, the axiom schema of bar induction, and the schema