scientific article; zbMATH DE number 1479630

zbMATH Open0942.03525MaRDI QIDQ4490744FDOQ4490744

Authors: Masako Takahashi, Yohji Akama, Sachio Hirokawa 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

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)