Lambda calculus extended with segments
By: Harmannus Balsters
Published: 1986
Language: eng
Number of pages: 129
Notes: Thesis (doctoral)--Technische Hogeschool Eindhoven, 1986.