scientific article; zbMATH DE number 1479630

MaRDI QIDQ4490744zbMATH OpenFDO

Authors Masako Takahashi, Yohji Akama, Sachio Hirokawa

Publication date 20 July 2000

zbMATH Keywords

normal formtype assignmentderived ruleslambda cubenormalizing pure type systemssimple type system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490744)