AmiCo

swMATH21182MaRDI QIDQ32994FDOQ32994

Author name not available (Why is that?)

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)

• Bisimulation and coinduction enhancements: a historical perspective
• Title not available (Why is that?)
• A formalized general theory of syntax with bindings: extended version
• CryptHOL: game-based proofs in higher-order logic
• Paco
• HOLCF
• POSIX Lexing
• Finite Automata HF
• Hereditarily Finite Sets
• Stern-Brocot Tree
• Zoo Probabilistic Systems
• Game_Based_Crypto
• MFMC_Countable
• Probabilistic_While
• Title not available (Why is that?)
• Elaborating dependent (co)pattern matching: no pattern left behind

This page was built for software: AmiCo