OPAC

Query: PROGRAM Language: Inglés Repository: 65 Year: 2020

Sort by Score Title Year -

1-3 from 3 results (0.013 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
Title: Mathematics and MateFun, a natural way to introduce programming into school
Language: Inglés
Repository: 65
Subject: Mathematics / Learning / Programming
Title: Micro-foundations of individual preferences for protectionism in Canada and Uruguay
Language: Inglés
Repository: 65
Subject: Preferencias / Microfundamentos / Proteccionismo / Racionalidad / ISSP

« Previous 1 Next »

Refine your Search