Works by Gerd Mitschke

( view other items matching `Gerd Mitschke`, view all matches )
Order:
  1.  29
    The Standardization Theorem for λ‐Calculus.Gerd Mitschke - 1979 - Mathematical Logic Quarterly 25 (1-2):29-31.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  16
    The Standardization Theorem for λ‐Calculus.Gerd Mitschke - 1979 - Mathematical Logic Quarterly 25 (1‐2):29-31.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations