Similar Items: Normalization of IZF with Replacement
- Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics
- Normalization for multimodal type theory
- Chemical Recommender System: Replacement Suggestions for Small Molecules
- Symbolic and Asynchronous Semantics via Normalized Coalgebras
- Proving Soundness of Extensional Normal-Form Bisimilarities
- Strongly-Normalizing Higher-Order Relational Queries