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

Journals (0)

1-10 of 284 results for recursive type

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Positive Recursive Type Assignment

Free access

Research article

First published 1996-11

Positive Recursive Type Assignment

Paweł Urzyczyn

Fundamenta Informaticae

Select article: On the Power of Model Theory in Specifying Abstract Data Types and in Capturing Their Recursiveness

Retricted access

Research article

First published 1983

On the Power of Model Theory in Specifying Abstract Data Types and in Capturing Their Recursiveness

Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli

Fundamenta Informaticae

Select article: First and Second Order Recursion on Abstract Data Types

Retricted access

Research article

First published 2005-9

First and Second Order Recursion on Abstract Data Types

Jian Xu, Jeffery Zucker

Fundamenta Informaticae

Select article: Coinductive Axiomatization of Recursive Type Equality and Subtyping

Retricted access

Research article

First published 1998-4

Coinductive Axiomatization of Recursive Type Equality and Subtyping

Michael Brandt, Fritz Henglein

Fundamenta Informaticae

Select article: Experimental Evaluation of a Recursive Model Identification Technique for Type 1 Diabetes

Free access

Research article

First published 2009-9

Experimental Evaluation of a Recursive Model Identification Technique for Type 1 Diabetes

Daniel A. Finan, Francis J. Doyle, Cesar C. Palerm [...]

Journal of Diabetes Science and Technology

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: Primitive Recursion with Existential Types 1

Retricted access

Research article

First published 1993

Primitive Recursion with Existential Types 1

Pawel Urzyczyn

Fundamenta Informaticae

Select article: RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES

Retricted access

Research article

First published 1996-5

RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES

Yuxi Fu

Fundamenta Informaticae

Select article: Rank 2 Intersection for Recursive Definitions

Retricted access

Research article

First published 2007-5

Rank 2 Intersection for Recursive Definitions

Ferruccio Damiani

Fundamenta Informaticae

Select article: Category Theoretic Semantics for Typed Binding Signatures with Recursion

Retricted access

Research article

First published 2008-4

Category Theoretic Semantics for Typed Binding Signatures with Recursion

John Power, Miki Tanaka

Fundamenta Informaticae

1
2
3
•••
29
10 / page

Article type

Publication date

Subjects

Access