Results

eNauka >  Results >  On untyped Curien-Herbelin calculus
Title: On untyped Curien-Herbelin calculus
Authors: Likavec, Silvia  ; Lescanne, Pierre
Issue Date: 2006
Type: Book parts
URI: https://enauka.gov.rs/handle/123456789/920464
URL: http://www.doc.ic.ac.uk/~svb/CL&C/CL&C06/Papers/3180237641188e07dc69616d273d.pdf
M-category: 
Mp. category will be shown later

Find the DOI


Google ScholarTM

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