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

Journals (0)

1-10 of 10321 results for Type Theory

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Note on Forcing and Type Theory

Retricted access

Research article

First published 2010-6

A Note on Forcing and Type Theory

Thierry Coquand, Guilhem Jaber

Fundamenta Informaticae

Select article: Formalizing Context in Intuitionistic Type Theory

Retricted access

Research article

First published 2000-5

Formalizing Context in Intuitionistic Type Theory

Pascal Boldini

Fundamenta Informaticae

Select article: An Abstract Decision Procedure for a Theory of Inductive Data Types

Open access

Research article

First published 2007-2

An Abstract Decision Procedure for a Theory of Inductive Data Types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Journal on Satisfiability,Boolean Modelling and Computation

Select article: The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: Building Type Production and Everyday Life: Rethinking Building Types through Actor-Network Theory and Object-Oriented Philosophy

Retricted access

Research article

First published 2013-12

Building Type Production and Everyday Life: Rethinking Building Types through Actor-Network Theory and Object-Oriented Philosophy

Mattias Kärrholm

Environment and Planning D: Society and Space

Select article: Physical activity: The importance of the extended theory of planned behavior,in type 2 diabetes patients

Retricted access

Research article

First published 2016

Physical activity: The importance of the extended theory of planned behavior,in type 2 diabetes patients

Gabriela Ferreira, M Graça Pereira

Journal of Health Psychology

Select article: Gamma-Reduction in Type Theory of Acyclic Recursion

Retricted access

Research article

First published 2019

Gamma-Reduction in Type Theory of Acyclic Recursion

Roussanka Loukanova

Fundamenta Informaticae

Select article: Preliminary Test of a Theory of Social Types

Retricted access

Research article

First published 1965-4

Preliminary Test of a Theory of Social Types

R. Dale Nance

Psychological Reports

Select article: An extended HFACS based risk analysis approach for human error accident with interval type-2 fuzzy sets and prospect theory

Retricted access

Research article

First published 2019-12-23

An extended HFACS based risk analysis approach for human error accident with interval type-2 fuzzy sets and prospect theory

Xiaoqing Chen, Xinwang Liu, Yong Qin

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

1
2
3
•••
1033
10 / page

Article type

Publication date

Subjects

Access