Christine Paulin

According to our database, Christine Paulin authored at least 1 paper in 1988.

Collaborative distances:

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

1988

Inductively defined types.

Thierry Coquand, Christine Paulin

Proceedings of the COLOG-88, 1988