Michael Rawson

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

Bibliography

2022
Topological Data Analysis for Word Sense Disambiguation.
CoRR, 2022

2017
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus.
Arch. Formal Proofs, 2017


  Loading...