Descripción
|
|
---|---|
Definimos una semántica tipo Kripke para un lenguaje de programación lógica de orden superior con restricciones, basado en la Teoría de Tipos de Church y un formalismo genérico de restricciones. | |
Internacional
|
Si |
Nombre congreso
|
Typed Lambda Calculi and Applications |
Tipo de participación
|
960 |
Lugar del congreso
|
París, Francia |
Revisores
|
Si |
ISBN o ISSN
|
978-3-540-73227-3 |
DOI
|
|
Fecha inicio congreso
|
26/06/2007 |
Fecha fin congreso
|
28/06/2007 |
Desde la página
|
|
Hasta la página
|
|
Título de las actas
|