Home Advanced Search

Advanced Search - Page 1

Programming in Martin-Löf's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Programming in Martin-Lof's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Microsoft Forefront Identity Manager 2010 R2 Handbook
  • PDF
  • English
  • Year: 2012
  • Author: Nordstrom Kent
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Pannovation and the Gatefree Space
  • EPUB
  • English
  • Year: 2013
  • Author: Jan Rollof, Bengt Johansson
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
  • DJVU
  • English
  • Year: 1998
  • Author: Giovanni Sambin, Jan M. Smith
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
  • PDF
  • English
  • Year: 1998
  • Author: Giovanni Sambin, Jan M. Smith
Continuities in Political Action: A Longitudinal Study of Political Orientations in Three Western Democracies
  • PDF
  • English
  • Year: 1990
  • Author: M. Kent Jennings (ed.), Jan W. van Deth (ed.)
search