Showing 1 - 3 results of 3 for search 'Nordström, Bengt', query time: 0.02s
Refine Results
-
1
Programming in Martin-Lof's type theory : an introduction / by Nordström, Bengt
Published 1990Call Number: Loading…
Located: Loading…Book Loading… -
2
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Other 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
Lógica matemática
Mathematical logic
CALCULO LAMBDA
COMPUTABILIDAD
LOGICA
LOGICA PROPOSICIONAL
Lenguajes de programación
Logics and meanings of programs
Lógica y significado de programas
METALENGUAJE
PROGRAMACION
Programas-Especificación
Programas-Verificación
Programming languages
Programs-Specification
Programs-Verification
TEORIA DE TIPOS