Cited in
(16)- A formalized general theory of syntax with bindings: extended version
- Bisimulation and coinduction enhancements: a historical perspective
- Paco
- HOLCF
- CryptHOL: game-based proofs in higher-order logic
- POSIX Lexing
- Finite Automata HF
- Hereditarily Finite Sets
- Stern-Brocot Tree
- Zoo Probabilistic Systems
- Elaborating dependent (co)pattern matching: no pattern left behind
- Game_Based_Crypto
- MFMC_Countable
- Probabilistic_While
- scientific article; zbMATH DE number 7649955 (Why is no real title available?)
- scientific article; zbMATH DE number 7649887 (Why is no real title available?)
This page was built for software: AmiCo
