PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperHINDCAST OF SOIL MOISTURE USING SMAP, LAND SURFACE MODEL OUTPUT DATA, AND REGRESSION METHODSMaciel Zortea, Miguel Paredes, et al.IGARSS 2021