Steven Schaefer

According to our database, Steven Schaefer authored at least 3 papers between 2017 and 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

2017

Book Notice.

Steven Schaefer

Phonetica, 2017