Nathan Varner

According to our database, Nathan Varner authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version).

Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New

CoRR, April, 2025

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus.

Steven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, Max S. New

Proc. ACM Program. Lang., 2025