Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Gamma-Reduction in Type Theory of Acyclic Recursion

Roussanka Loukanova

Fundamenta Informaticae

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

Retricted access

Research article

First published 1998-4

An Axiomatic System of Parametricity

Izumi Takeuti

Fundamenta Informaticae

Retricted access

Research article

First published 2002-5

UPSILON: Universal Programming System with Incomplete Lazy Object Notation

Brian Postow, Kenneth Regan, Carl H. Smith

Fundamenta Informaticae

Retricted access

Research article

First published 1986

Algebraic Theories,Data Types,and Control Constructs

Eric G. Wagner

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

RECURSIVE MODELS OF GENERAL INDUCTIVE TYPES

Yuxi Fu

Fundamenta Informaticae

Free access

Research article

First published 1999-2

Primitive (Co)Recursion and Course-of-Value (Co)Iteration,Categorically

Tarmo Uustalu, Varmo Vene

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2000-10

Boldface Recursion on Platek Spaces

Lyubomir Ivanov

Fundamenta Informaticae

Retricted access

Research article

First published 1996-1

ON A QUANTITATIVE NOTION OF UNIFORMITY

Susanne Kaufmann, Martin Kummer

Fundamenta Informaticae

Retricted access

Research article

First published 2004-12

A Dynamic Theory of Expertise and Occupational Boundaries in New Technology Implementation: Building on Barley's Study of CT Scanning

Laura J. Black, Paul R. Carlile, Nelson P. Repenning

Administrative Science Quarterly

Search results