Verifiable certificates for predicate subtyping

DOI10.1007/978-3-030-17184-1_16zbMath1524.68089MaRDI QIDQ6070793

Frédéric Gilbert

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

zbMATH Keywords

higher-order logicproof theorytype theorypredicate subtyping

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Higher-order logic (03B16) Type theory (03B38)

This page was built for publication: Verifiable certificates for predicate subtyping