Recursive Functions on Lazy Lists via Domains and Topologies

DOI10.1007/978-3-319-08970-6_22zbMATH1416.68169OpenAlexW2224398717MaRDI QIDQ2879262FDOQ2879262

Authors 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

Recommendations

• Recursive functionals
• Recursive functions and existentially closed structures
• scientific article; zbMATH DE number 4043834
• Recursively defined domains and their induction principles
• scientific article; zbMATH DE number 3938531
• Recursion theorems and effective domains
• On recursively enumerable structures
• scientific article; zbMATH DE number 3885307
• Typed Lambda Calculi and Applications

Cited in

(4)

• Friends with benefits. Implementing corecursion in foundational proof assistants
• scientific article; zbMATH DE number 1424015 (Why is no real title available?)
• On the key dependent message security of the Fujisaki-Okamoto constructions
• A Purely Definitional Universal Domain

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879262)