Recursive Functions on Lazy Lists via Domains and Topologies

DOI10.1007/978-3-319-08970-6_22zbMath1416.68169OpenAlexW2224398717MaRDI QIDQ2879262

Johannes Hölzl, Andreas Lochbihler

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_22

Mathematics Subject Classification ID

Related Items (2)

Friends with Benefits ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions

Uses Software

• Isabelle/HOL
• PVS
• HOLCF
• Coinductive
• Topology

This page was built for publication: Recursive Functions on Lazy Lists via Domains and Topologies