Formalising a value-passing calculus in H0L
type: Item
instance of: scholarly article
title: Formalising a value-passing calculus in H0L
zbMATH Open document ID: 0937.68112
author: Monica Nesi
published in: Formal Aspects of Computing
publication date: 2000-06-14T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1400098
zbMATH Keywords: value-passing calculus
MaRDI profile type: Publication
full work available at URL: s001650050046
OpenAlex ID: W2085444879
DOI: 10.1007/S001650050046
description: scientific article; zbMATH DE number 1400098