@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"
}

@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 badge