Search Results - "de Queiroz, Ruy J. G. B."

The Theory of an Arbitrary Higher \(\lambda\)-Model by Martínez-Rivillas, Daniel O, de Queiroz, Ruy J. G. B

“…One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher…”
Get full text

Distributed Repository for Software Packages Using Blockchain by Costa, Felipe Z. Da N., De Queiroz, Ruy J. G. B., Bittencourt, Gustavo P., Teixeira, Leopoldo

“…A package repository is an essential piece of a software ecosystem. In FOSS, the repository is hosted using somewhat limited donations, given the technical…”
Get full text

Towards a homotopy domain theory by Martínez-Rivillas, Daniel O., de Queiroz, Ruy J. G. B.

“…An appropriate framework is put forward for the construction of λ -models with ∞ -groupoid structure, which we call homotopic λ -models , through the use of an…”
Get full text

Computational paths - a weak groupoid by de Veras, Tiago M L, Ramos, Arthur F, de Queiroz, Ruy J G B, de Oliveira, Anjolina G

“…On the basis of a labelled deduction system (LND$_{ED-}$TRS), we demonstrate how to formalize the concept of computational paths (sequences of rewrites) as…”
Get full text

THE THEORY OF AN ARBITRARY HIGHER λ-MODEL by Martinez-Rivillas, Daniel O, de Queiroz, Ruy J G B

“…One takes advantage of some basic properties of every homotopic А-model (e.g. extensional Kan complex) to explore the higher вп-conversions, which would…”
Get full text

SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures by Ribeiro, Leonardo A. D. S., da Silva Lima, José Paulo, de Queiroz, Ruy J. G. B., Chagas, Amirton B., Junior, José R. R., Quintino, Jonysberg P., da Silva, Fabio Q. B., Santos, André L. M.

“…SABER is one of the four finalists in the third round of the ongoing NIST post-quantum cryptography standardization process. It is one of the three finalists…”
Get full text

Propositional intuitionistic multiple-conclusion calculus via proof graphs by Carvalho, Ruan V B, de Oliveira, Anjolina G, de Queiroz, Ruy J G B

Get full text

Extending the Curry-Howard interpretation to linear, relevant and other resource logics by Gabbay, Dov M., de Queiroz, Ruy J. G. B.

“…The so-called Curry-Howard interpretation (Curry [1934], Curry and Feys [1958], Howard [1969], Tait [1965]) is known to provide a rather neat term-functional…”
Get full text

A Blockchain Using Proof-of-Download by da N. Costa, Felipe Zimmerle, de Queiroz, Ruy J. G. B.

“…Distributed consensus and Blockchains are popular among the cryptocurrencies where no one except the coin users, owns the data and transactions. No different…”
Get full text

Groupoid Generated by an Arbitrary Topological λ-Model by Martínez-Rivillas, Daniel O, de Queiroz, Ruy J G B

“…The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view…”
Get full text

Normalisation and Language-Games by de Queiroz, Ruy J. G. B.

“…The question of finding a suitable formal account of meaning for the (primitive) logical signs has troubled many philosophers and logicians since the early…”
Get full text

Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001) by de Queiroz, Ruy J. G. B

Get full text

20th workshop on logic, language, information and computation – WoLLIC 2013 by Libkin, Leonid, Kohlenbach, Ulrich, de Queiroz, Ruy J.G.B.

Get full text

Cypherpunk by Ramiro, André, de Queiroz, Ruy J. G. B

“…Cypherpunk refers to social movements, individuals, institutions, technologies, and political actions that, with a decentralised approach, defend, support,…”
Get full text

Logic, Language, Information and Computation (WoLLIC 2012) by Ong, Luke, de Queiroz, Ruy J.G.B.

Get full text

On the identity type as the type of computational paths by Ramos, Arthur F., De Queiroz, Ruy J. G. B., De Oliveira, Anjolina G.

Get full text

From Tractatus to Later Writings and Back -- New Implications from the Nachlass by de Queiroz, Ruy J. G. B

“…As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter,…”
Get full text

Meaning as Grammar plus Consequences by de Queiroz, Ruy J. G. B.

Get full text

The Theory of an Arbitrary Higher $\lambda$-Model by Martínez-Rivillas, Daniel O, de Queiroz, Ruy J. G. B

“…One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions,…”
Get full text

On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics by De Queiroz, Ruy J. G. B.

“…The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from…”
Get full text