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

Page view(s)

checked on Feb 21, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.