Jeffrey Sarnat

According to our database, Jeffrey Sarnat authored at least 3 papers between 2005 and 2009.

Collaborative distances:

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

2009

Lexicographic Path Induction.

Jeffrey Sarnat, Carsten Schürmann

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2008

Structural Logical Relations.

Carsten Schürmann, Jeffrey Sarnat

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2005

The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.

Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005