Antonius J. C. Hurkens

According to our database, Antonius J. C. Hurkens authored at least 2 papers between 1995 and 1998.

Collaborative distances:

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

1998

The Logic of Recursive Equations.

Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney

J. Symb. Log., 1998

1995

A Simplification of Girard's Paradox.

Antonius J. C. Hurkens

Proceedings of the Typed Lambda Calculi and Applications, 1995