Title of article
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Author/Authors
Anders Schack-Nielsen ، نويسنده , , Carsten Schurmann، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
16
From page
101
To page
116
Abstract
We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers
Journal title
Electronic Proceedings in Theoretical Computer Science
Serial Year
2010
Journal title
Electronic Proceedings in Theoretical Computer Science
Record number
679962
Link To Document