Applications of Type Theory
Authors:
Bernd Mahr
Affiliations:
-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993
Citing
0
Cited
1
∈T-Integration of logics
Formal Methods in Software and Systems Modeling
Quantified Score
Hi-index
0.00
Visualization
Abstract