Published 1991 | Version v1

Publication Metadata-only

Partial Higher-Order Specifications

Contributors

Others:

Additional details

URL: http://hdl.handle.net/11567/201181
URN: urn:oai:iris.unige.it:11567/201181

Origin repository: UNIGE

2

Views

0

Downloads

Show more details

	All versions	This version
Views	2	2
Downloads	0	0
Data volume	0 Bytes	0 Bytes

More info on how stats are collected....

Technical metadata

Created: December 4, 2022
Modified: April 10, 2025