Probabilistic reasoning about simply typed lambda terms
type: Item
instance of: scholarly article
title: Probabilistic reasoning about simply typed lambda terms
zbMATH Open document ID: 1505.03035
DOI: 10.1007/978-3-319-72056-2_11
author: Silvia Ghilezan
author: Jelena Ivetić
author: Simona Kašterović
author: Zoran Ognjanović
author: Nenad Savić
publication date: 2018-04-06T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 6856645
zbMATH Keywords: simply typed lambda-calculus
zbMATH Keywords: probabilistic logic
zbMATH Keywords: soundness
zbMATH Keywords: strong completeness
MaRDI profile type: Publication
full work available at URL: 978-3-319-72056-2 11
OpenAlex ID: W2769599136
description: scientific article; zbMATH DE number 6856645