Manfred Schmidt-Schauß
Hat mitgewirkt an:
-
Computational aspects of an order sorted logic with term declarations
-
Space improvements and equivalences in a polymorphically typed functional core language: context lemmas and proofs
-
Space improvements and equivalences in a polymorphically typed functional core language: context lemmas and proofs
-
Computational aspects of an order-sorted logic with term declarations