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 (16)

Journals (0)

1-10 of 16 results for simply typed calculus

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Explicit Environments

Retricted access

Research article

First published 2001-2

Explicit Environments

Masahiko Sato, Takafumi Sakurai, Rod Burstall

Fundamenta Informaticae

Select article: The Glasgow Chart — a simple method for calculation of cardiovascular risk in type 2 diabetes

Retricted access

Other

First published 2002-05

The Glasgow Chart — a simple method for calculation of cardiovascular risk in type 2 diabetes

Martin Mcintyre, Stuart Kerr, Brian Kennon [...]

The British Journal of Diabetes & Vascular Disease

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: 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: The Completeness of Typing for Context-Semantics

Retricted access

Research article

First published 2007-5

The Completeness of Typing for Context-Semantics

Thierry Coquand

Fundamenta Informaticae

Select article: A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

Retricted access

Research article

First published 2008-4

A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

Corrado Biasi, Federico Aschieri

Fundamenta Informaticae

Select article: Logical relations for encryption 1

Retricted access

Research article

First published 2003-10-1

Logical relations for encryption 1

Eijiro Sumii, Benjamin C. Pierce

Journal of Computer Security

Select article: Bi-models: Relational Versus Domain-theoretic Approaches

Retricted access

Research article

First published 1997-12

Bi-models: Relational Versus Domain-theoretic Approaches

Antonio Bucciarelli

Fundamenta Informaticae

Select article: Strong Normalization for Truth Table Natural Deduction

Open access

Research article

First published 2019

Strong Normalization for Truth Table Natural Deduction

Herman Geuvers, Iris van der Giessen, Tonny Hurkens

Fundamenta Informaticae

Select article: The Duality of Classical Intersection and Union Types

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access