Jasper Derikx

According to our database, Jasper Derikx authored at least 1 paper in 2014.

Collaborative distances:

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

2014

A Dependent Type Theory with Abstractable Names.

Andrew M. Pitts, Justus Matthiesen, Jasper Derikx

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014