Singleton, union, and intersection types for program extraction
type: Item
instance of: scholarly article
title: Singleton, union, and intersection types for program extraction
zbMATH Open document ID: 0804.68091
author: Susumu Hayashi
published in: Information and Computation
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 563083
zbMATH Keywords: type theory
zbMATH Keywords: lambda calculus
zbMATH Keywords: refinement types
zbMATH Keywords: specifications of programs
zbMATH Keywords: Curry-Howard isomorphism
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: inco.1994.1016
OpenAlex ID: W2116636571
DOI: 10.1006/INCO.1994.1016
description: scientific article; zbMATH DE number 563083