Internal Effectful Forcing in System T

MaRDI QIDQ7177659arXivFDO

Authors Martín Escardo, Bruno Da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Type theory (03B38) Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50)

arXiv classification

cs.LO

This page was built for publication: Internal Effectful Forcing in System T

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