Stefan Heinz Niggl - Interessen - alle Infos bei Yasni.de

(1 - 3 von 6

)

Karl-Heinz Niggl, Subrecursive functions on partial sequences -...

philpapers.org

The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of...

Karl-Heinz Niggl, Non-definability of the Ackermann function with...

philpapers.org

The paper builds on a simply typed term system ${\cal PR}^\omega $ providing a notion of partial primitive recursive functional on arbitrary Scott domains...

Karl-Heinz Niggl, Mω considered as a programming language - PhilPapers

philpapers.org

The paper studies a simply typed term system Mω providing a primitive recursive concept of parallelism in the sense of Plotkin. The system aims at defining and...

Verwandte Suchanfragen zu Stefan Heinz Niggl

Personen
Vorname "Stefan" (78868)
Name

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Interessen Stefan Heinz Niggl

Karl-Heinz Niggl, Subrecursive functions on partial sequences -...

Karl-Heinz Niggl, Non-definability of the Ackermann function with...

Karl-Heinz Niggl, Mω considered as a programming language - PhilPapers