Congruence types

DOI10.1007/3-540-61377-3_30zbMATH Open1540.6811MaRDI QIDQ6560160FDOQ6560160

Authors: Gilles Barthe, Herman Geuvers 

Publication date: 21 June 2024

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70) Type theory (03B38)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• A two-level approach towards lean proof-checking
• A short and flexible proof of strong normalization for the calculus of constructions

This page was built for publication: Congruence types

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