bibliographer - Dale Miller

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

A system of inference based on proof search: an extended abstract Dale Miller [github]

A Survey of the Proof-Theoretic Foundations of Logic Programming Dale Miller [github]

A Proof Theory for Model Checking Quentin Heath Dale Miller [github]

Abella: A System for Reasoning about Relational Specifications David Baelde Kaustuv Chaudhuri Andrew Gacek Dale Miller Gopalan Nadathur Alwen Tiu Yuting Wang [github]

Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language Amy Felty Dale Miller [github]

A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification Dale Miller [github]

A logic programming language with lambda-abstraction, function variables, and simple unification Dale Miller [github]

From operational semantics to abstract machines: preliminary results John Hannan Dale Miller [github]

Unification of Simply Typed Lambda-Terms as Logic Programming Dale Miller [github]

Mechanized Metatheory Revisited Dale Miller [github]

Cut-elimination for a logic with definitions and induction Raymond McDowell Dale Miller [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]