Pattern Unification for the Lambda Calculus with Linear and Affine Types - Computer Science > Logic in Computer ScienceReportar como inadecuado




Pattern Unification for the Lambda Calculus with Linear and Affine Types - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We define the pattern fragment for higher-order unification problems inlinear and affine type theory and give a deterministic unification algorithmthat computes most general unifiers.



Autor: Anders Schack-Nielsen IT University of Copenhagen, Carsten Schürmann IT University of Copenhagen

Fuente: https://arxiv.org/







Documentos relacionados