Gofer

swMATH22190MaRDI QIDQ33985FDOQ33985

Author name not available (Why is that?)

Cited In (4)

• Übungen zur Einführung in die Informatik
• Decidability of behavioural equivalence in unary PCF
• Generating power of lazy semantics
• Programming Languages and Systems

This page was built for software: Gofer