"Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form."

Kristian Støvring (2006)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2008-01-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics