Etiqueta type-theory - Esta es la página 8 - GeneraCodice

Pruebas dinámicas de los moldes abajo como se explica en TAPL

https://www.generacodice.com/es/articolo/2446238/pruebas-dinamicas-de-los-moldes-abajo-como-se-explica-en-tapl
  programming-languages  -  type-theory  -  type-checking
cs.stackexchange cs.stackexchange

Confluence para mostrar términos equivalentes tiene una reducción común

https://www.generacodice.com/es/articolo/2445739/confluence-para-mostrar-terminos-equivalentes-tiene-una-reduccion-comun
  programming-languages  -  type-theory  -  term-rewriting
cs.stackexchange cs.stackexchange

Derivación del tipo de producto eliminador en teoría de tipo

https://www.generacodice.com/es/articolo/2445129/derivacion-del-tipo-de-producto-eliminador-en-teoria-de-tipo
  type-theory  -  homotopy-type-theory
cs.stackexchange cs.stackexchange

¿Existen los “tipos de logaritmos”?

https://www.generacodice.com/es/articolo/2442575/existen-los-tipos-de-logaritmos
  type-theory
cs.stackexchange cs.stackexchange

Sistema de tipo algebra - Uso de derivación

https://www.generacodice.com/es/articolo/1794491/sistema-de-tipo-algebra-uso-de-derivacion
  types  -  type-theory
StackOverflow StackOverflow

Differences between Agda and Idris

https://www.generacodice.com/es/articolo/1701849/differences-between-agda-and-idris
  type-theory  -  agda  -  idris
StackOverflow StackOverflow

How is β-reduction a 2-morphism in Category theory?

https://www.generacodice.com/es/articolo/1620837/how-is-β-reduction-a-2-morphism-in-category-theory
  type-theory  -  lambda-calculus  -  category-theory
cs.stackexchange cs.stackexchange

Types and Programming Languages - proof for theorem about principles of induction of terms

https://www.generacodice.com/es/articolo/1620640/types-and-programming-languages-proof-for-theorem-about-principles-of-induction-of-terms
  type-theory
cs.stackexchange cs.stackexchange

Why does Coq include let-expressions in its core language

https://www.generacodice.com/es/articolo/1620500/why-does-coq-include-let-expressions-in-its-core-language
  type-theory  -  coq  -  type-checking  -  dependent-types
cs.stackexchange cs.stackexchange

Why are ADT packages opened immediately after they are built, while existential objects opened as late as possible?

https://www.generacodice.com/es/articolo/1616704/why-are-adt-packages-opened-immediately-after-they-are-built-while-existential-objects-opened-as-late-as-possible
  programming-languages  -  type-theory  -  polymorphisms
cs.stackexchange cs.stackexchange
Resultados encontrados: 484
scroll top