Induction in the Elementary Theory of Types and Names

Authors:
Gerhard Jäger
Affiliations:
-
Venue:
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Year:
1987

Citing 0
Cited 2

Constructive Foundations for Featherweight Java

PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
A Theory of Explicit Mathematics Equivalent to ID1

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract