Get started
Author

Levis Zerpa

Observed names: Levis I. Zerpa Morloy, Levis Ignacio Zerpa Morloy, Levis Zerpa Morloy, Zerpa Levis, Zerpa Morloy, Levis, Zerpa Morloy, Levis Ignacio, Zerpa, Levis
ORCID: 0000-0002-8744-7440
Observed ORCID: 0000-0002-8744-7440
OpenAlex ID: A5087145103
Modelos de aprendizaje en la transición hacia la complejidad como un desafío a la simplicidad
2024 · Jefferson Alexander Moreno Guaicha, Alexis Alberto Mena Zamora, et al. · Sophía · 19
PDF
A model based on the Technology Readiness Level (TRL) scale to measure the maturity level of research projects that can become spinoffs in Higher Education Institutions
2021 · Maithe Perez Cobos, Viviana Farfan Quezada, et al. · Congreso Internacional de Innovación y Tendencias en Ingeniería (CONIITI) · 9
The Teaching and Learning of the Untyped Lambda Calculus Through Web-Based e-Learning Tools
2021 · Levis Zerpa · Lecture notes in networks and systems · 6
STEM Education in Ecuador: Addressing Gender Gaps and Promoting Gender
2024 · Rosemary Davies, Brenda Guanulema, et al. · Smart innovation, systems and technologies · 4
The Reification of Mathematical Notions in Mathematics Education: A Four-stage Model of Concept Development
2016 · Levis Zerpa · The International Journal of Science Mathematics and Technology Learning · 3
The Logic, Philosophy, and History of the Lambda-Calculus: Theory and Applications
2024 · Levis Zerpa · History of analytic philosophy · 2
Proof strategies and automated advice: A proof format for education-oriented computer systems
2016 · Levis Zerpa · Future Technologies Conference · 1
Questioning a Dogma of Algorithmic Thinking in Our Time
2024 · Levis Zerpa · History of analytic philosophy
Compiler Output as a Programming Tester in Ontology
2024 · Levis Zerpa · History of analytic philosophy
Comparative Historical Studies (0): Introduction
2024 · Levis Zerpa · History of analytic philosophy
The Criterion of Ontological Commitment as a Logical Tester in Ontology
2024 · Levis Zerpa · History of analytic philosophy
The $$\lambda $$-Calculus as a Formal System of Symbolic Logic and the Container Notation
2024 · Levis Zerpa · History of analytic philosophy
Comparative Historical Studies (3): Wittgenstein’s Anticipation of Church Numerals
2024 · Levis Zerpa · History of analytic philosophy
Comparative Historical Studies (2): A Brief Analysis of Descartes’ Correlation-Hypothesis and Church’s Thesis
2024 · Levis Zerpa · History of analytic philosophy
Comparative Historical Studies (1): Viète’s Analytic Art in $$\lambda $$-Philosophy
2024 · Levis Zerpa · History of analytic philosophy
$$\lambda $$-Philosophy: The General Program
2024 · Levis Zerpa · History of analytic philosophy
Church’s Ontological Development
2024 · Levis Zerpa · History of analytic philosophy
The $$\lambda $$-Calculus as a Solution to a Problem of Philosophical Analysis
2024 · Levis Zerpa · History of analytic philosophy
General Introduction and Motivation
2024 · Levis Zerpa · History of analytic philosophy
The Container Notation in the $$\lambda $$-Calculus (2): Propositional Logic
2024 · Levis Zerpa · History of analytic philosophy
The Container Notation in the $$\lambda $$-Calculus (1): Arithmetic
2024 · Levis Zerpa · History of analytic philosophy
Analysis of the Solar Resource, Photocurrent, Electricity Production and Greenhouse Gases Emission Reduction of an Experimental Photovoltaic Power Plant to be Placed in a University Campus
2021 · Graciela Salum, Adrián León Valencia, et al. · ISES Solar World Congress (SWC)
The Message-Passing Interface and Parallel SAT-Solvers
2017 · Levis Zerpa · International Conference on Future Networks and Distributed Systems (ICFNDS)
PDF
Las Leyes Ceteris Paribus Y La Lógica No Monótona
2017 · Zerpa, Levis · Episteme NS
PDF
El estudio lógico de la Interrogación: Una introducción a la Lógica Interrogativa y algunas de sus aplicaciones
2017 · Levis Zerpa · Lógoi Revista de Filosofía
PDF
Works count: 31
Citation count: 44
H-index: 4
I10-index: 1
Year
Topic
Type