Search results

proof-carrying code 2007-07-20 Paper Typed Lambda Calculi and Applications 2005-11-11 Paper Term Rewriting and Applications 2005-11-11 Paper Typed Lambda Calculi...

protocol code by typing 2015-06-11 Paper Anytime, anywhere: modal logics for mobile ambients 2015-03-17 Paper Typing a multi-language intermediate code 2015-03-17...

representations in higher-order assembly language 2023-08-16 Paper Untyped lambda-calculus with input-output 2023-02-23 Paper Type reconstruction with recursive...

and their applications 2025-01-10 Paper A note on \(\lambda\)-analogue of Lah numbers and \(\lambda\)-analogue of \(r\)-Lah numbers 2025-01-06 Paper Some...

coalgebra and probability 2022-12-07 Paper On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa...

2005-08-17 Paper The extended quadratic residue code is the only (48,24,12) self-dual doubly-even code 2005-05-31 Paper Symmetric \((4,4)\)-nets and generalized...

separation logic tool to verify correctness of C programs 2018-08-21 Paper Lambda-splitting: a higher-order approach to cross-module optimizations 2017-08-21...

Asynchronous unfold/fold transformation for fixpoint logic 2022-08-10 Paper Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered 2022-07-21 Paper...

Higman's lemma and its computational content 2020-08-07 Paper Logic for Gray-code computation 2020-04-03 Paper Tiered arithmetics 2020-02-05 Paper Logic for...

semantics for the calculus of looping sequences 2012-05-30 Paper Extending the lambda-calculus with unbind and rebind 2011-06-10 Paper Refined effects for unanticipated...

Java-like languages 2015-11-11 Paper A parametric calculus for mobile open code 2013-12-06 Paper A calculus for reconfiguration (extended abstract) 2013-10-02...

Paper The syntactic monoid of the semigroup generated by a maximal prefix code 1996-12-08 Paper Periodic endomorphisms of a free monoid 1996-03-12 Paper...

\) 2014-06-30 Paper Quasi-cyclic codes over \(\mathbb Z_{p^s}\) 2014-06-30 Paper \((1+\lambda u)\)-constacyclic codes over \(\mathbb F_{p}[u]/\langle u^m\rangle\)...

Paper Relational reasoning for Markov chains in a probabilistic guarded lambda calculus 2019-09-13 Paper Automated analysis of cryptographic assumptions...

Determination of the sizes of optimal geometric orthogonal codes with parameters \((n \times m, k, \lambda, k-1)\) 2024-03-04 Paper A generalization of group divisible...

recursive datatype constructors 2015-09-11 Paper Meta-programming through typeful code representation 2015-07-02 Paper A dependently typed assembly language 2015-03-09...

on (k, t)-subnormal covering codes 1992-06-28 Paper Upper bounds for q-ary covering codes 1991-01-01 Paper A new binary code of length 10 and covering radius...

quasi-cyclic codes with rate l m (Corresp.) 1978-01-01 Paper On the existence of a cyclic code with rate R 1978-01-01 Paper An upper bound for codes in a two-access...

2023-10-31 Paper Normal ordering associated with \(\lambda\)-Whitney numbers of the first kind in \(\lambda\)-shift algebra 2023-09-22 Paper Some identities...

equations 2022-02-17 Paper Validation of the SHNC time-dependent transport code based on the spherical harmonics method for complex nuclear fuel assemblies...