| 6126 | Adhesive Categories (10.7146/brics.v10i31.21799) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6127 | CCS with Hennessy's Merge has no Finite Equational Axiomatiz… (10.7146/brics.v10i34.21802) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6128 | Contracts for Cooperation between Web Service Programmers an… (10.7146/brics.v10i38.21806) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6129 | A Denotational Account of Untyped Normalization by Evaluatio… (10.7146/brics.v10i40.21808) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6130 | Recursive Ping-Pong Protocols (10.7146/brics.v10i47.21819) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6131 | Composing Programming Languages by Combining Action-Semantic… (10.7146/brics.v10i53.21825) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6132 | Efficient Algorithms for gcd and Cubic Residuosity in the Ri… (10.7146/brics.v10i8.21779) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6133 | An Extended Quadratic Frobenius Primality Test with Average… (10.7146/brics.v10i9.21780) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6134 | Split-2 Bisimilarity has a Finite Axiomatization over CCS wi… (10.7146/brics.v11i1.21826) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6135 | An Algorithm for Exact Satisfiability Analysed with the Numb… (10.7146/brics.v11i18.21843) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6136 | Cache-Oblivious Data Structures and Algorithms for Undirecte… (10.7146/brics.v11i2.21827) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6137 | New-HOPLA--A Higher-Order Process Language with Name Generat… (10.7146/brics.v11i21.21846) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6138 | Bisimilarity is not Finitely Based over BPA with Interrupt (10.7146/brics.v11i24.21849) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6139 | A Functional Correspondence between Monadic Evaluators and A… (10.7146/brics.v11i28.21853) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6140 | The Design Space of Type Checkers for XML Transformation Lan… (10.7146/brics.v11i34.21859) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6141 | Bottom-Up beta-Substitution: Uplinks and lambda-DAGs (10.7146/brics.v11i38.21863) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6142 | Sur un Exemple de Patrick Greussay (10.7146/brics.v11i41.21866) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6143 | A Simple Proof of a Folklore Theorem about Delimited Control (10.7146/brics.v12i10.21876) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6144 | Program Extraction from Proofs of Weak Head Normalization (10.7146/brics.v12i12.21878) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6145 | On the Dynamic Extent of Delimited Continuations (10.7146/brics.v12i13.21879) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6146 | A Concrete Framework for Environment Machines (10.7146/brics.v12i15.21881) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6147 | A Quantum Cipher with Near Optimal Key-Recycling (10.7146/brics.v12i17.21883) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6148 | On the Dynamic Extent of Delimited Continuations (10.7146/brics.v12i2.21868) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6149 | A Syntactic Correspondence between Context-Sensitive Calculi… (10.7146/brics.v12i22.21888) | References ORCID License | 22.58 | 1 | 1601-5355 |
| 6150 | A Framework for Concrete Reputation-Systems (10.7146/brics.v12i23.21889) | References ORCID License | 22.58 | 1 | 1601-5355 |