Title of article :
Pattern Unification for the Lambda Calculus with Linear and Affine Types
Author/Authors :
Anders Schack-Nielsen ، نويسنده , , Carsten Schurmann، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
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
Journal title :
Electronic Proceedings in Theoretical Computer Science
