Results

eNauka >  Results >  Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums
Title: Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums
Authors: Kašterović, Simona; Ghilezan, Silvia  
Issue Date: 2019
Type: Conference Paper
Collation: str. 23-25
URI: https://enauka.gov.rs/handle/123456789/576816
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4222
Availability note: Подаци и/или пуни текст су непотпуни
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.