Simply-typed underdeterminism
type: Item
instance of: scholarly article
title: Simply-typed underdeterminism
zbMATH Open document ID: 0914.03018
DOI: 10.1007/BF02946491
author: Ewen Denney
published in: Journal of Computer Science and Technology
publication date: 1998-12-02T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1228835
zbMATH Keywords: Henkin models
zbMATH Keywords: underdeterminism
zbMATH Keywords: stub
zbMATH Keywords: skeleton
zbMATH Keywords: top-down program development
zbMATH Keywords: program refinement
zbMATH Keywords: semantics
describes a project that uses: LEGO
MaRDI profile type: Publication
cites work: Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
cites work: Q4301161
cites work: Notions of computation and monads
cites work: Completeness in the theory of types
Recommended article: Q3138540
Recommended article: The simply typed rewriting calculus
Recommended article: Q4992399
Recommended article: The underdetermination of typings
Recommended article: Syntactical and semantical properties of simple type theory
Recommended article: Inhabitation of types in the simply typed lambda calculus
Recommended article: Recognizability in the Simply Typed Lambda-Calculus
Recommended article: Fundamentals of Computation Theory
Recommended article: A simple nominal type theory
Recommended article: A Rewriting View of Simple Typing
description: scientific article; zbMATH DE number 1228835