PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
type: Item
instance of: scholarly article
title: PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
zbMATH Open document ID: 0746.03012
DOI: 10.1142/S0129054191000108
author: Sachio Hirokawa
published in: International Journal of Foundations of Computer Science
publication date: 1992-06-28T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 33234
zbMATH Keywords: typed \(\lambda\)-calculus
zbMATH Keywords: principal type assignment
MaRDI profile type: Publication
full work available at URL: s0129054191000108
OpenAlex ID: W2156041815
description: scientific article; zbMATH DE number 33234