×

Found 10 Documents (Results 1–10)

Curry-typed semantics in type predicate logic. (English) Zbl 1383.03015

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 35-47 (2014).
MSC:  03B15 03B65
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software