Normal view MARC view ISBD view

Domain interpretations of intuitionistic type theory Erik Palmgren

By:

Series: Report. 1 Publication details: Uppsala Uppsala University 1989Description: 80 p 27 cm

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	III 30995 (Browse shelf(Opens below))	Available		0026546

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	III 30992 Poisson approximation using the Stein-Chen method and coupling: number of exceedances of Gaussian random variables	III 30993 An analytic formula for kervaire invariant of some (8n + 2) - dimensional splin-manifolds	III 30994 Poisson approximation using the Stein-Chen method and coupling: applications on sums of negatively associated indicators	III 30995 Domain interpretations of intuitionistic type theory	III 30996 On the law of the interated logarithm for subsequences	III 30997 Adaptive characteristic operator splitting techniques for convection-dominated diffusion problems in one and two space dimensions	III 30998 Theorie des nombres fasc. 1-2	Next

Contine bibliografie

There are no comments on this title.

to post a comment.