VIAF

Virtual International Authority File

Search

Sanchis, Luis E. Sudoc [ABES], France NII (Japan) BIBSYS National Library of France National Library of Israel Library of Congress/NACO National Library of the Netherlands NUKAT Center of Warsaw University Library ISNI German National Library

VIAF ID: 64074450 (Personal)

Permalink: http://viaf.org/viaf/64074450

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Algoritmy i rekursivnye funkcii NUKAT Center of Warsaw University Library
Data types as lattices: Retractions, closures and projections National Library of the Netherlands
Mathematical semantics for higher order programming languages [microvorm]/ Luis E. Sanchis. National Library of the Netherlands
Recursive functionals Sudoc [ABES], France BIBSYS National Library of France Library of Congress/NACO National Library of the Netherlands NUKAT Center of Warsaw University Library
Reflexive structures : an introduction to computability theory Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Israel German National Library Library of Congress/NACO
Set theory, an operational approach Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:64074450 (12)