Why Would You Trust B?
From MaRDI portal
Publication:3498474
Recommendations
Cites work
- scientific article; zbMATH DE number 1696760 (Why is no real title available?)
- scientific article; zbMATH DE number 2090073 (Why is no real title available?)
- scientific article; zbMATH DE number 3400430 (Why is no real title available?)
- Confluence properties of weak and strong calculi of explicit substitutions
- Engineering formal metatheory
- Explicit substitutions
- The B-Book
- Theorem Proving in Higher Order Logics
- de Bruijn notation as a nested datatype
Cited in
(4)
This page was built for publication: Why Would You Trust B?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498474)