About: Jonathan Paul Seldin

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Jonathan Paul Seldin Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Seldin, Jonathan Paul Seldin, Jonathan Paul Seldin, Jonathan Paul
bnf-onto:FRBNF	12376139(xsd:integer)
preferred label	Seldin, Jonathan Paul
name	Jonathan Paul Seldin
dbpedia-owl:citizenship	http://sws.geonames.org/6251999/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000115726726
Given name	Jonathan Paul
familyName	Seldin
note	Écrit aussi en anglais Mathématicien. En poste au Département de mathématiques, Université de Concordia, Montreal, Canada (en 1990)
is Contributor of	On lists and other abstract data types in the calculus of constructions
is Author of	http://www.sudoc.fr/009157883/id Combinatory logic http://www.sudoc.fr/022226435/id http://www.sudoc.fr/156262886/id http://www.sudoc.fr/003471667/id http://www.sudoc.fr/127535039/id Lambda-calculus and combinators http://www.sudoc.fr/091411440/id On the role of implication in formal logic http://www.sudoc.fr/099299283/id Coquand's calculus of constructions: A mathematical foundation for a proof development system Extensional Set Equality in the Calculus of Constructions
is primary topic of	http://www.idref.fr/032802595
is Editor of	http://www.sudoc.fr/022623361/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software