| Publication | Date of Publication | Type |
|---|
| Dataset from literature review of the paper "A Classification and Interpretation of Methodological Approaches to Pursue Natural Capital Valuation in Forest Research" | 2024-09-26 | Dataset |
| Koopman operator based modeling and control of quadrotors | 2024-09-06 | Paper |
A natural deduction calculus for \textbf{S4.2}
Notre Dame Journal of Formal Logic | 2024-08-19 | Paper |
Cut Elimination for Extended Sequent Calculi
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Coherence for sharing proof nets
Rewriting Techniques and Applications | 2022-12-09 | Paper |
An extension of system \(F\) with subtyping
Lecture Notes in Computer Science | 2022-08-16 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| Light logics and higher-order processes | 2021-02-24 | Paper |
Light logics and higher-order processes
(available as arXiv preprint) | 2021-02-24 | Paper |
Interacting with Networks: How Does Structure Relate to Controllability in Single-Leader, Consensus Networks?
IEEE Control Systems | 2018-09-14 | Paper |
Optimizing optimal reduction
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Convergence Analysis of Distributed Set-Valued Information Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Light logics and higher-order processes
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
Pursuit of the Universal | 2016-08-17 | Paper |
(Optimal) duplication is not elementary recursive
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
On constructor rewrite systems and the lambda calculus
Logical Methods in Computer Science | 2012-08-15 | Paper |
Derivational complexity is an invariant cost model
Foundational and Practical Aspects of Resource Analysis | 2010-09-14 | Paper |
| scientific article; zbMATH DE number 5718470 (Why is no real title available?) | 2010-06-09 | Paper |
Programming languages: Principles and paradigms
Undergraduate Topics in Computer Science | 2010-01-14 | Paper |
Proofs as efficient programs
Deduction, Computation, Experiment | 2010-01-11 | Paper |
On Constructor Rewrite Systems and the Lambda-Calculus
Automata, Languages and Programming | 2009-07-14 | Paper |
Steering a Leader-Follower Team Via Linear Consensus
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
The weak lambda calculus as a reasonable machine
Theoretical Computer Science | 2008-06-24 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2185715 (Why is no real title available?) | 2005-07-04 | Paper |
(Optimal) duplication is not elementary recursive
Information and Computation | 2004-10-04 | Paper |
Phase semantics and decidability of elementary affine logic
Theoretical Computer Science | 2004-08-10 | Paper |
Coherence for sharing proof-nets
Theoretical Computer Science | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1722649 (Why is no real title available?) | 2002-03-21 | Paper |
Proof nets, garbage, and computations
Theoretical Computer Science | 2000-12-12 | Paper |
An analysis of (linear) exponentials based on extended sequents
Logic Journal of the IGPL | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1418450 (Why is no real title available?) | 2000-03-19 | Paper |
Experiments in linear natural deduction
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 970633 (Why is no real title available?) | 1997-08-04 | Paper |
| scientific article; zbMATH DE number 786493 (Why is no real title available?) | 1996-04-22 | Paper |
A modal view of linear logic
Journal of Symbolic Logic | 1995-06-13 | Paper |
Proof-functional connectives and realizability
Archive for Mathematical Logic | 1994-12-01 | Paper |
An extension of system \(F\) with subtyping
Information and Computation | 1994-06-09 | Paper |
Categorical models for non-extensional λ-calculi and combinatory logic
Mathematical Structures in Computer Science | 1994-02-28 | Paper |
Categorical models of polymorphism
Information and Computation | 1992-09-27 | Paper |
Complete logic programs with domain-closure axiom
The Journal of Logic Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4051567 (Why is no real title available?) | 1987-01-01 | Paper |
