OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Refine your Search

Your search

Subject: A* Document Type: Sin Especificar Year: 1991

Sort by Score Title Year -

51-51 from 51 results (0.082 seconds)

Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf

« Previous 1 2 3 4 5 6 Next »