CoLF Logic Programming as Infinitary Proof Exploration

Reference. CoLF Logic Programming as Infinitary Proof Exploration

Cite

Cite as @chen-2025-colf (helia, typst) · \cite{chen-2025-colf} (LaTeX)

BibTeX

bibtex · 1 line

@article{chen-2025-colf, title={CoLF Logic Programming as Infinitary Proof Exploration}, volume={431}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.431.3}, DOI={10.4204/eptcs.431.3}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Chen, Zhibo and Pfenning, Frank}, year={2025}, month=Oct, pages={34–41} }

hayagriva YAML (typst)

yaml · 17 lines

chen-2025-colf:
  type: article
  title: CoLF Logic Programming as Infinitary Proof Exploration
  author:
  - Chen, Zhibo
  - Pfenning, Frank
  date: 2025-10
  page-range: 34-41
  url: http://dx.doi.org/10.4204/eptcs.431.3
  serial-number:
    doi: 10.4204/eptcs.431.3
    issn: 2075-2180
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 431

Download: chen-2025-colf.bib · chen-2025-colf.yml

Cites 12 works (1 here)

With notes (1)

Relating Message Passing and Shared Memory, Proof-Theoretically pfenning-2023-relatingCoordination Models and Languages · 2023

DOI

External (11)

DBSP: Incremental Computation on Streams and Its Applications to Databases (2024)
A Logical Framework with Infinitary Terms (2023)
Towards a mixed inductive and coinductive logical framework (Tech. Rep. CMU-CS-21-144) (2021)
Semi-Axiomatic Sequent Calculus (2020)
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description) (2008)
Monadic concurrent linear logic programming (2005)
Algorithms for Equality and Unification in the Presence of Notational Definitions (1998)
A framework for defining logics (1993)
Uniform Proofs as a Foundation for Logic Programming (1991)
Logic Programming in the LF Logical Framework (1991)
The Mathematical Language AUTOMATH, Its Usage, and Some of Its Extensions (1968)