The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Show other versions (1)
מידע ביבליוגרפי
מחבר ראשי: Melham, T
פורמט: Journal article
יצא לאור: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables מאת Melham, T

יצא לאור 1993
Conference item
Show all versions (2)

פריטים דומים