Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Tuple Interpretations for Higher-Order Complexity

Kop, C.
Vale, D.

Publication date

January 2020

DOI

10.4230/LIPIcs.FSCD.2021.31

Publisher

Dagstuhl : Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik

Language

English

Abstract

Contains fulltext : 236638.pdf (Publisher’s version ) (Open Access) Contains fulltext : 236638.pdf (Author’s version preprint ) (Open Access)FSCD 202

Extracted data

Related items

Modified Transparency Order Property: Solution or Just Another Attempt

Picek, S.
Mazumdar, B.
Mukhopadhyay, D.
Batina, L.

January 2015

Contains fulltext : 147329.pdf (publisher's version ) (Open Access

What Is Scientific Understanding and How Can It Be Achieved?

Regt, H.W. de
Baumberger, C.

January 2019

Contains fulltext : 207850pub.pdf (Publisher’s version ) (Open Access) ...

Trace semantics via determinization

Jacobs, B.
Silva, A.
Sokolova, A.

January 2015

Contains fulltext : 141327.pdf (preprint version ) (Open Access

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Higher-order interpretations for higher-order complexity

Hainry, Emmanuel
Péchoux, Romain

May 2017

International audienceWe design an interpretation-based theory of higher-order functions that is wel...

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

The complexities of arguing about complexity

Kusters, W.
Muysken, P.C.

January 2001

Contains fulltext : 105702.pdf (publisher's version ) (Open Access)4 p

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's version ) (Open Access

Tuple Interpretations for Higher-Order Complexity

Kop, Cynthia
Vale, Deivid

January 2021

We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting syst...

Vectorizing higher-order masking

Gregoire, B.
Papagiannopoulos, K.
Schwabe, P.
Stoffelen, K.

January 2018

Contains fulltext : 191739pre.pdf (preprint version ) (Closed access) ...

Higher Inductive Types in Programming

Basold, H.
Geuvers, H.
Weide, N.M. van der

January 2017

Contains fulltext : 173197.pdf (publisher's version ) (Open Access

Fast Computations on Ordered Nominal Sets

Venhoek, D.
Moerman, J.
Rot, J.

January 2018

Contains fulltext : 197678.pdf (Author’s version preprint ) (Closed access) ...

Some implicatures reveal semantic differences

Banga, A.
Heutinck, I.
Berends, S.M.
Hendriks, P.

January 2009

Contains fulltext : 77368.pdf (author's version ) (Open Access

Translating Dependent Type Theory into Higher Order Logic

Jacobs, B.P.F.
Melham, T.

January 1993

Contains fulltext : 175392.pdf (publisher's version ) (Open Access

Ordering sequences by permutation transducers

Bosma, W.
Zantema, H.

January 2017

Contains fulltext : 168713.pdf (preprint version ) (Open Access) ...

Modified Transparency Order Property: Solution or Just Another Attempt

Picek, S.
Mazumdar, B.
Mukhopadhyay, D.
Batina, L.

January 2015

Contains fulltext : 147329.pdf (publisher's version ) (Open Access

What Is Scientific Understanding and How Can It Be Achieved?

Regt, H.W. de
Baumberger, C.

January 2019

Contains fulltext : 207850pub.pdf (Publisher’s version ) (Open Access) ...

Trace semantics via determinization

Jacobs, B.
Silva, A.
Sokolova, A.

January 2015

Contains fulltext : 141327.pdf (preprint version ) (Open Access

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open Access

Higher-order interpretations for higher-order complexity

Hainry, Emmanuel
Péchoux, Romain

May 2017

International audienceWe design an interpretation-based theory of higher-order functions that is wel...

Testing Higher Order Functions -- textscExtended Abstract

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32303.pdf (author's version ) (Open Access

The complexities of arguing about complexity

Kusters, W.
Muysken, P.C.

January 2001

Contains fulltext : 105702.pdf (publisher's version ) (Open Access)4 p

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's version ) (Open Access

Tuple Interpretations for Higher-Order Complexity

Kop, Cynthia
Vale, Deivid

January 2021

We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting syst...

Vectorizing higher-order masking

Gregoire, B.
Papagiannopoulos, K.
Schwabe, P.
Stoffelen, K.

January 2018

Contains fulltext : 191739pre.pdf (preprint version ) (Closed access) ...

Higher Inductive Types in Programming

Basold, H.
Geuvers, H.
Weide, N.M. van der

January 2017

Contains fulltext : 173197.pdf (publisher's version ) (Open Access

Fast Computations on Ordered Nominal Sets

Venhoek, D.
Moerman, J.
Rot, J.

January 2018

Contains fulltext : 197678.pdf (Author’s version preprint ) (Closed access) ...

Some implicatures reveal semantic differences

Banga, A.
Heutinck, I.
Berends, S.M.
Hendriks, P.

January 2009

Contains fulltext : 77368.pdf (author's version ) (Open Access

Translating Dependent Type Theory into Higher Order Logic

Jacobs, B.P.F.
Melham, T.

January 1993

Contains fulltext : 175392.pdf (publisher's version ) (Open Access

Ordering sequences by permutation transducers

Bosma, W.
Zantema, H.

January 2017

Contains fulltext : 168713.pdf (preprint version ) (Open Access) ...

Modified Transparency Order Property: Solution or Just Another Attempt

Picek, S.
Mazumdar, B.
Mukhopadhyay, D.
Batina, L.

January 2015

Contains fulltext : 147329.pdf (publisher's version ) (Open Access

What Is Scientific Understanding and How Can It Be Achieved?

Regt, H.W. de
Baumberger, C.

January 2019

Contains fulltext : 207850pub.pdf (Publisher’s version ) (Open Access) ...

Trace semantics via determinization

Jacobs, B.
Silva, A.
Sokolova, A.

January 2015

Contains fulltext : 141327.pdf (preprint version ) (Open Access