Cut elimination in the simply typed lambda calculus

Ghilezan, Silvia

Results

eNauka > Results > Cut elimination in the simply typed lambda calculus

Title:	Cut elimination in the simply typed lambda calculus
Authors:	Ghilezan, Silvia
Issue Date:	1997
Publication:	Panhellenic Logic Symposium, Nicosia, Cyprus (1997)
Type:	Conference Paper
Collation:	str. 21-24
URI:	http://researchrepository.mi.sanu.ac.rs/handle/123456789/5159 https://enauka.gov.rs/handle/123456789/930893
M-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Google Scholar^TM