Searching for "Proving Strong Normalization of CC by Modifying Realizability Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Proving Strong Normalization of CC by Modifying Realizability Semantics
by Thorsten Altenkirch Department, Thorsten Altenkirch — 1994 — In TYPES, volume 806 of LNCS
…Proving Strong Normalization of CC by Modifying Realizability Semantics Thorsten Altenkirch…
Add To MetaCart

Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
by Herman Geuvers (ed.) — 1993
….Wolfram@(email omitted); ix x Proving Strong Normalization of CC by Modifying Realizability Semantics (Extended Abstract…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB