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

Search all journals

Search journals, articles...

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

Article type

Publication date

Subjects

Access

Articles (44)

Journals (0)

1-10 of 44 results for lambda calculus,

Sort by:

Relevance

Select allExport selected citations

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 1997

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus

Don Pigozzi, Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 1998

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus

Don Pigozzi, Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 2001

Nonmodularity Results for Lambda Calculus

Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Two Problems on Reduction Graphs in Lambda Calculus

Benedetto Intrigila, Anna R. Laurenzi

Fundamenta Informaticae

Retricted access

Research article

First published 1985-4

Easy Terms in the Lambda Calculus

Giuseppe Jacopini, Marisa Venturini Zilli

Fundamenta Informaticae

Retricted access

Research article

First published 2010

A Tutorial Implementation of a Dependently Typed Lambda Calculus

Andres Löh, Conor McBride, Wouter Swierstra

Fundamenta Informaticae

Retricted access

Research article

First published 1993-7

Conservativity of Equational Theories in Typed Lambda Calculi 1

Val Breazu-Tannen, Albert R. Meyer

Fundamenta Informaticae

Retricted access

Research article

First published 1999

Fixed Point Equations Inside the Algebra of Normal Forms

Corrado Böhm

Fundamenta Informaticae

Retricted access

Research article

First published 1993-7

Lambda Calculus Characterizations of Poly-Time

Daniel Leivant, Jean-Yves Marion

Fundamenta Informaticae

Retricted access

Research article

First published 2010

Complexity of Type Inference

Jerzy Tyszkiewicz

Fundamenta Informaticae

1
2
3
4
5
10 / page