Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers
type: Item
instance of: scholarly article
title: Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers
zbMATH Open document ID: 0866.00037
DOI: 10.1007/3-540-60579-7
published in: Lecture Notes in Computer Science
publication date: 1995-11-22T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 819537
zbMATH Keywords: TYPES '94
zbMATH Keywords: Selected papers
zbMATH Keywords: Båstad (Sweden)
zbMATH Keywords: Types
zbMATH Keywords: Proofs and programs
zbMATH Keywords: Workshop
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-60579-7
OpenAlex ID: W4293770342
description: scientific article; zbMATH DE number 819537