A Type Theory with Mixed Constructivity and Assignments
type: Item
instance of: scholarly article
title: A Type Theory with Mixed Constructivity and Assignments
zbMATH Open document ID: 0871.03018
author: James T. Sasaki
publication date: 1997-09-14T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1019589
zbMATH Keywords: Hoare logic
zbMATH Keywords: constructive logic
zbMATH Keywords: constructive type theory
zbMATH Keywords: program verification
zbMATH Keywords: assignment
MaRDI profile type: Publication
full work available at URL: 5.3.1-d
OpenAlex ID: W2022470740
DOI: 10.1093/JIGPAL/5.3.1-D
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 1019589