@TechReport{ walukiewicz:hal-02100196,
Author = "Walukiewicz, Igor",
date-added = "2019-05-11 09:29:46 +0200",
date-modified = "2019-05-11 09:29:46 +0200",
hal_id = "hal-02100196",
hal_version = "v1",
Institution = "{LaBRI - Laboratoire Bordelais de Recherche en Informatique}",
Month = "April",
PDF = "https://hal.archives-ouvertes.fr/hal-02100196/file/hal-version.pdf",
Title = "{LambdaY-Calculus With Priorities}",
Type = "Research Report",
URL = "https://hal.archives-ouvertes.fr/hal-02100196",
Year = "2019",
bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-02100196",
File = "hal-version (0) (1) - a - a - b.pdf"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A