OASIcs, Volume 46, WPTE 2015

• Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, and Manfred Schmidt-Schauß OASIcs, Volume 46, WPTE'15, Complete Volume 10.4230/OASIcs.WPTE.2015
• Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, and Manfred Schmidt-Schauß Frontmatter, Table of Contents, Preface, Workshop Organization 10.4230/OASIcs.WPTE.2015.i
• Brigitte Pientka Mechanizing Meta-Theory in Beluga (Invited Talk) 10.4230/OASIcs.WPTE.2015.1
• Giulio Guerrieri Head reduction and normalization in a call-by-value lambda-calculus 10.4230/OASIcs.WPTE.2015.3
• Adrián Palacios and Germán Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting 10.4230/OASIcs.WPTE.2015.19
• David Sabel and Manfred Schmidt-Schauß Observing Success in the Pi-Calculus 10.4230/OASIcs.WPTE.2015.31
• Sjaak Smetsers, Ken Madlener, and Marko van Eekelen Formalizing Bialgebraic Semantics in PVS 6.0 10.4230/OASIcs.WPTE.2015.47