On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions

Publisher Website

1 January 1990

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 94-104
https://doi.org/10.1007/3-540-52335-9_50

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

A stochastic theory of life insurance
Scandinavian Actuarial Journal, 1986
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980