You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (25)

Journals (0)

1-10 of 25 results for typed lambda calculus

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Tutorial Implementation of a Dependently Typed Lambda Calculus

Retricted access

Research article

First published 2010-8

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Andres Löh, Conor McBride, Wouter Swierstra

Fundamenta Informaticae

Select article: Conservativity of Equational Theories in Typed Lambda Calculi 1

Retricted access

Research article

First published 1993

Conservativity of Equational Theories in Typed Lambda Calculi 1

Val Breazu-Tannen, Albert R. Meyer

Fundamenta Informaticae

Select article: Complexity of Type Inference

Retricted access

Research article

First published 2010-9

Complexity of Type Inference

Jerzy Tyszkiewicz

Fundamenta Informaticae

Select article: Principal Typing for Lambda Calculus in Elementary Affine Logic

Retricted access

Research article

First published 2005-2

Principal Typing for Lambda Calculus in Elementary Affine Logic

Paolo Coppola, Simona Ronchi della Rocca

Fundamenta Informaticae

Select article: Typed Lambda Calculi and Applications 2003,Selected Papers

Retricted access

Other

First published 2005-2

Typed Lambda Calculi and Applications 2003,Selected Papers

Martin Hofmann, Paweł Urzyczyn

Fundamenta Informaticae

Select article: Typed Lambda Calculi and Applications 2005,Selected Papers

Retricted access

Other

First published 2007-5

Typed Lambda Calculi and Applications 2005,Selected Papers

Fundamenta Informaticae

Select article: An Axiomatic System of Parametricity

Retricted access

Research article

First published 1998-4

An Axiomatic System of Parametricity

Izumi Takeuti

Fundamenta Informaticae

Select article: Positive Recursive Type Assignment

Free access

Research article

First published 1996-11

Positive Recursive Type Assignment

Paweł Urzyczyn

Fundamenta Informaticae

Select article: A Simple Algorithm and Proof for Type Inference 1

Retricted access

Research article

First published 1987

A Simple Algorithm and Proof for Type Inference 1

Mitchell Wand

Fundamenta Informaticae

Select article: CATEGORICAL COMBINATORS WITH EXPLICIT PRODUCTS

Retricted access

Research article

First published 1995-2

CATEGORICAL COMBINATORS WITH EXPLICIT PRODUCTS

György E. Révész

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access