Showing 1 - 3 results of 3 for search 'Dybjer, Peter', query time: 0.03s
Refine Results
-
1
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Other Authors: “…Dybjer, Peter…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Applied semantics /
Published 2002Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
3
Proceedings of the workshop on programming logic /
Published 1989Other Authors:Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Lenguajes de programación
Programming languages
CALCULO LAMBDA
COMPUTABILIDAD
LOGICA
LOGICA PROPOSICIONAL
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
METALENGUAJE
Mathematical logic
PROGRAMACION
Programas-Especificación
Programas-Verificación
Programs-Specification
Programs-Verification
Software
TEORIA DE TIPOS