Michael Rawson

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

When Agda met Vampire.

[DOI]

CoRR, February, 2026

Case Study: Saturations as Explicit Models in Equational Theories.

[DOI]

CoRR, February, 2026

2022

Topological Data Analysis for Word Sense Disambiguation.

[DOI]

CoRR, 2022

2017

Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus.

[DOI]

Arch. Formal Proofs, 2017