AmiCo

MaRDI QIDQ32994swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-662-54434-1_5

Described by source

• Friends with benefits. Implementing corecursion in foundational proof assistants

Cited in

(16)

• A formalized general theory of syntax with bindings: extended version
• CryptHOL: game-based proofs in higher-order logic
• Bisimulation and coinduction enhancements: a historical perspective
• Paco
• HOLCF
• Zoo Probabilistic Systems
• Stern-Brocot Tree
• POSIX Lexing
• Hereditarily Finite Sets
• Finite Automata HF
• Elaborating dependent (co)pattern matching: no pattern left behind
• Probabilistic_While
• MFMC_Countable
• Game_Based_Crypto
• Coinduction: automata, formal proof, companions (invited paper)
• scientific article; zbMATH DE number 7649955 (Why is no real title available?)

This page was built for software: AmiCo