Positive Recursive Type Assignment

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281213
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Torus Assignment for an Interconnection Network Recursive Diagonal Torus

English

Deciding Type Isomorphisms in a Type-Assignment Framework

Journal of Functional Programming
Software
1993English

Semi-Cubically Hyponormal Weighted Shifts With Recursive Type

Filomat
Mathematics
2013English

A Complete Type Inference System for Subtyped Recursive Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Journal of Symbolic Logic
PhilosophyLogic
2000English

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Recursive Algorithm for H∞ Type Riccati Equation With Small Parameter

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
1997English

Recursive Markov Decision Processes and Recursive Stochastic Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Type IV Pili in Gram-Positive Bacteria

Microbiology and Molecular Biology Reviews
Molecular BiologyInfectious DiseasesImmunologyMicrobiologyMicrobiology
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy