Anar al contingut
Menú principal
Menú principal
Desplaçar a la columna lateral
amagar
Navegació
Portada
Portal comunitari
Canvis recents
Pàgines noves
Artícul aleatori
Pàgines especials
Ajuda
Buscar
Buscar
Aparència
Crear un conte
Accedir
Ferramentes personals
Crear un conte
Accedir
Pàgines per a editors desconectats
més informació
Contribucions
Discussió per a esta IP
Categoria
:
Teoria de tipos
Categoria
Discussió
valencià
Vore
Editar
Editar còdic
Vore historial
Ferramentes
Ferramentes
Desplaçar a la columna lateral
amagar
Accions
Vore
Editar
Editar còdic
Vore historial
General
Lo que enllaça ací
Canvis relacionats
Versió per a imprimir
Enllaç permanent
Informació de la pàgina
Aparència
Desplaçar a la columna lateral
amagar
Ajuda
De L'Enciclopèdia, la wikipedia en valencià
Artículs en la categoria «Teoria de tipos»
Esta categoria té les següents 25 pàgines:
C
Conversió de tipos
Correspondència de Curry-Howard
Covarianza i contravarianza (ciències de la computació)
Càlcul lambda simplement tipado
D
Duck typing
I
Inferència de tipos
N
Nous Fonaments
P
Principi d'obert/tancat
Principi de substitució de Liskov
S
Seguritat de tipos
Sistema de tipos
Sistema O
Subtipado (Informàtica)
T
Teoria de tipos
Teoria de Tipos Depenents
Teoria homotópica de tipos
Tipado dèbil
Tipado estàtic
Tipado fort
Tipado sensitivo al fluix
Tipo abstracte
Tipo de senya
Tipo opcional
U
Unificació (ciències de la computació)
À
Àlgebra inicial
Categoria
:
Àlgebra abstracta
Buscar
Buscar
Categoria
:
Teoria de tipos
Afegir tema
