Normal proofs and their grammar

DOI10.1007/3-540-57887-0_111MaRDI QIDQ4490744zbMATH OpenFDO

Authors Masako Takahashi, Yohji Akama, Sachio Hirokawa

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_111

zbMATH Keywords

derived ruleslambda cubenormal formnormalizing pure type systemssimple type systemtype assignment

Mathematics Subject Classification ID

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

This page was built for publication: Normal proofs and their grammar

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