First-Order Semantics for Higher-Order Languages

Article Sidebar

PDF
Published: Oct 31, 2018
DOI: https://doi.org/10.22201/iifs.18704905e.1977.221

Main Article Content

Max Käsbauer
Universidad de Munich

Abstract

Abstract

Downloads

Download data is not yet available.

Article Details

How to Cite
Käsbauer, M. (2018). First-Order Semantics for Higher-Order Languages. Crítica. Revista Hispanoamericana De Filosofía, 9(25), 59–71. https://doi.org/10.22201/iifs.18704905e.1977.221

PLUMX Metrics

Licencia de Creative Commons
Crítica, Revista Hispanoamericana de Filosofía by Universidad Nacional Autónoma de México is licensed under a Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional License.
Creado a partir de la obra en http://critica.filosoficas.unam.mx/index.php/critica.