Paul Mendler

According to our database, Paul Mendler authored at least 2 papers between 1971 and 1988.

Collaborative distances:

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

1988

Inductive Definition in Type Theory.

Paul Mendler

PhD thesis, 1988

1971

The television/computer system: the acquisition and processing of cardiac catheterization data using a small computer.

H. Dominic, J. Covvey, Allan G. Adelman, Clarence H. Felderhof, Paul Mendler, E. D. Wigle, Kenneth W. Taylor

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971