Fundamenta Informaticae, Volume 65

Volume 65, Number 1-2, 2005

• Martin Hofmann, Pawel Urzyczyn:
  Typed Lambda Calculi and Applications 2003, Selected Papers.
  
• Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani:
  for Data: Differentiating Data Structures. 1-28
  
• Roberto M. Amadio:
  Synthesis of max-plus quasi-interpretations. 29-60
  
• Frédéric Blanqui:
  Inductive types in the Calculus of Algebraic Constructions. 61-86
  
• Paolo Coppola, Simona Ronchi Della Rocca:
  Principal Typing for Lambda Calculus in Elementary Affine Logic. 87-112
  
• Thierry Coquand, Randy Pollack, Makoto Takeyama:
  A Logical Framework with Dependently Typed Records. 113-134
  
• Thierry Joly:
  On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem. 135-151
  
• Yoshihiko Kakutani, Masahito Hasegawa:
  Parameterizations and Fixed-Point Operators on Control Categories. 153-172
  
• Jim Laird:
  Sequentiality in Bounded Biorders. 173-191
  

Volume 65, Number 3, 2005

• Ernst-Erich Doberkat:
  Tracing Relations Probabilistically. 193-209
  
• Hartmut Ehrig:
  Behaviour and Instantiation of High-Level Petri Net Processes. 211-247
  
• A. Mani:
  Super Rough Semantics. 249-261
  
• Jerzy Mycka:
  Real Recursive Functions and Baire Classes. 263-278
  
• Sergey Verlan, Maurice Margenstern:
  About Splicing P Systems with One Membrane. 279-290
  

Volume 65, Number 4, 2005

• Chi-Shiang Chan, Chin-Chen Chang:
  An Image Hiding Scheme Based on Multi-bit-reference Substitution Table Using Dynamic Programming Strategy. 291-305
  
• Irina Georgescu:
  Revealed Preference, Congruence and Rationality: A Fuzzy Approach. 307-328
  
• Sanjiang Li, Mingsheng Ying, Yongming Li:
  On countable RCC models. 329-351
  
• Tzu-Chuen Lu, Chin-Chen Chang:
  Data Compressor for VQ Index Tables. 353-371
  
• Adrien Richard, Jean-Paul Comet, Gilles Bernot:
  R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. 373-392