Dependently typed records in type theory
type: Item
instance of: scholarly article
title: Dependently typed records in type theory
zbMATH Open document ID: 1001.68013
author: Robert Pollack
published in: Formal Aspects of Computing
publication date: 2002-09-25T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 1807870
zbMATH Keywords: dependent types
zbMATH Keywords: inductive-recursive
zbMATH Keywords: manifest types
zbMATH Keywords: module
zbMATH Keywords: pebble
zbMATH Keywords: signature
zbMATH Keywords: sharing
describes a project that uses: LEGO
MaRDI profile type: Publication
full work available at URL: s001650200018
OpenAlex ID: W2002193175
DOI: 10.1007/S001650200018
description: scientific article; zbMATH DE number 1807870