scientific article

zbMath1278.03035MaRDI QIDQ2871864

Kevin P. Donnelly, Hongwei Xi

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107002356?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

normalizationlogical relationslogical frameworksHOASreducibility candidatesATS/LFTait's method

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

A Formal Proof of the Strong Normalization Theorem for System T in Agda ⋮ Free Theorems and Runtime Type Representations

This page was built for publication: