Classical Combinatory Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Classical Combinatory Logic
|
| Id. |
45687710 |
| Idioma |
inglés
|
| Titulo |
Classical Combinatory Logic |
| Autor(es) |
Karim Nour
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.3947
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system “à la Hilbert”. We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system of Barbanera and Berardi. λ Sym P rop
|
| Tipo |
application/pdf
|
| Palabras clave |
Combinatory logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.lama.univ-savoie.fr/~nour/CCL.pdf
[References] 10.1.1.43.6938
[References] 10.1.1.47.5281
[References] 10.1.1.96.9676
|
| Fecha de contribución |
27-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
