Expand icon Search icon File icon file Download

Curry-Typed Semantics in Typed Predicate Logic

Fox, Chris (2014) Curry-Typed Semantics in Typed Predicate Logic. In: The Logica Yearbook 2013. College Publications, 35 - 48. ISBN 978-1848901445



Abstract

Available files

Filename: CFox-Curry-TPL-Logica2013-paper.pdf

Statistics

Altmetrics

Downloads

downloads and page views since this item was published

View detailed statistics