| Authors: | Ghilezan, Silvia Ivetić, Jelena Likaves, Silvia |
Title: | Church-Rosser Theorem for sequent lambda calculi | Conference: | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | Issue Date: | 2014 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.